-- @shouldFailWith KindsDoNotUnify
module Main where

foreign import data R :: forall k. Row k -> Type
foreign import data X :: forall r. R (x :: Type | r)
foreign import data Y :: forall r. R (y :: Type | r)
foreign import data Z :: forall r. R (z :: Type | r)

data P :: R (x :: Type, y :: Type) -> Type
data P a = P

type Test1 = P X
type Test2 = P Y
type Test3 = P Z