purescript-0.15.15: 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)