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