testsuite/tests/ghci/scripts/T7730.stdout


1
2
3
4
5
6
7
8
9

type role A phantom phantom
type A :: forall {k} {k1}. k -> k1 -> *
data A x y
  	-- Defined at <interactive>:2:1
A :: k1 -> k2 -> *
type role T phantom
type T :: forall {k}. k -> *
data T a = forall a1. MkT a1
  	-- Defined at <interactive>:6:1