Error found: in module Main at tests/purs/failing/TypeError.purs:6:13 - 6:16 (line 6, column 13 - line 6, column 16) Could not match type    String   with type    Int   while checking that type String is at least as general as type Int while checking that expression "A" has type Int in value declaration test See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information, or to contribute content related to this error.