1 2 3 4 5 6
type D :: * data D = forall a. C (Int -> a) Char -- Defined at ghci030.hs:8:1 type D :: * data D = forall a. C (Int -> a) Char -- Defined at ghci030.hs:8:10