CoercibleRoleMismatch3.out

Error found:
in module [33mMain[0m
at tests/purs/failing/CoercibleRoleMismatch3.purs:10:1 - 10:29 (line 10, column 1 - line 10, column 29)

  Role mismatch for the type parameter [33ma[0m:

    The annotation says [33mrepresentational[0m but the role [33mnominal[0m is required.


in role declaration for [33mU[0m

See https://github.com/purescript/documentation/blob/master/errors/RoleMismatch.md for more information,
or to contribute content related to this error.