1 2 3 4 5 6
type T :: * type T = forall a. a -> a -- Defined at <interactive>:2:1 type D :: * data D = MkT (forall b. b -> b) -- Defined at <interactive>:3:1