Error found: in module Main at tests/purs/failing/StandaloneKindSignatures1.purs:7:25 - 7:30 (line 7, column 25 - line 7, column 30) Could not match kind    Symbol   with kind    Type   while checking that type "foo" has kind Type while inferring the kind of Pair Int "foo" in value declaration test See https://github.com/purescript/documentation/blob/master/errors/KindsDoNotUnify.md for more information, or to contribute content related to this error.