purescript-0.12.0: tests/purs/failing/KindError.purs
-- @shouldFailWith KindsDoNotUnify module Main where import Prelude data KindError f a = One f | Two (f a)
-- @shouldFailWith KindsDoNotUnify module Main where import Prelude data KindError f a = One f | Two (f a)