purescript-0.14.0: tests/purs/failing/MonoKindDataBindingGroup.purs
-- @shouldFailWith KindsDoNotUnify module Main where data F (a :: Type -> Type) = F data A a = A (B a) type B a = F A type X = A "bad"
-- @shouldFailWith KindsDoNotUnify module Main where data F (a :: Type -> Type) = F data A a = A (B a) type B a = F A type X = A "bad"