path: root/testsuite/tests/ghci/scripts/T16527.stdout

type T :: *
data T where
  MkT1 :: (Int -> Int) -> T
  MkT2 :: (forall a. Maybe a) -> T
  	-- Defined at T16527.hs:5:1