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