T7730.stdout 234 Bytes
Newer Older
Simon Peyton Jones's avatar
Simon Peyton Jones committed
1 2 3 4 5 6 7 8
type role A phantom phantom
data A (x :: k) (y :: k1)
  	-- Defined at <interactive>:3:1
A :: k -> k1 -> *
type role T phantom
data T (a :: k) where
  MkT :: forall (k :: BOX) (a :: k) a1. a1 -> T a
  	-- Defined at <interactive>:7:1