purescript-0.15.15: tests/purs/failing/CycleInKindDeclaration.purs
-- @shouldFailWith CycleInKindDeclaration module Main where data Foo :: Bar -> Type data Foo a = Foo data Bar :: Foo -> Type data Bar a = Bar
-- @shouldFailWith CycleInKindDeclaration module Main where data Foo :: Bar -> Type data Foo a = Foo data Bar :: Foo -> Type data Bar a = Bar