purescript-0.15.15: tests/purs/failing/3765-kinds.purs
-- @shouldFailWith KindsDoNotUnify
module Main where
data Tricky :: forall r. {a :: Int | r} -> {b :: Int | r} -> Type
data Tricky x y = Tricky
type MkTricky x = Tricky x x
-- @shouldFailWith KindsDoNotUnify
module Main where
data Tricky :: forall r. {a :: Int | r} -> {b :: Int | r} -> Type
data Tricky x y = Tricky
type MkTricky x = Tricky x x