Error found: in module NestedRecordLabelOnTypeError at tests/purs/failing/RecordLabelOnTypeErrorImmediate.purs:5:15 - 5:18 (line 5, column 15 - line 5, column 18) 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 record See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information, or to contribute content related to this error.