purescript-0.7.2.0: examples/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)