testsuite/tests/ghci/scripts/T7873.stdout


1
2
3
4
5
6

data D1 where
  MkD1 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D1
  	-- Defined at <interactive>:2:1
data D2 where
  MkD2 :: (forall (p :: k -> *) (a :: k). p a -> Int) -> D2
  	-- Defined at <interactive>:3:1