blob: bf9c1d025b3f4775d3718acee25ff623cb06327e (
plain)
1
2
3
4
5
6
7
|
type role A phantom phantom
data A (x :: k) (y :: k1)
-- Defined at <interactive>:2:1
A :: k1 -> k2 -> *
type role T phantom
data T (a :: k) = forall a1. MkT a1
-- Defined at <interactive>:6:1
|