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