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