1 2 3 4
type role Foo phantom phantom type Foo :: (* -> *) -> forall k. k -> * data Foo a b -- Defined at <interactive>:3:1