purescript-0.14.0: tests/purs/failing/StandaloneKindSignatures3.purs
-- @shouldFailWith KindsDoNotUnify module Main where type Fst :: forall k. k -> k -> k type Fst a b = a type F = Fst Int "foo"
-- @shouldFailWith KindsDoNotUnify module Main where type Fst :: forall k. k -> k -> k type Fst a b = a type F = Fst Int "foo"