1 2 3 4 5 6 7 8 9
-- Trac #2082 -- If we :i D or C, we should see parentheses around (Int -> a) {-# LANGUAGE ExistentialQuantification #-} module Foo where data D = forall a . C (Int -> a) Char