purescript-0.14.0: tests/purs/failing/CoercibleRoleMismatch4.out
Error found:
in module [33mMain[0m
at tests/purs/failing/CoercibleRoleMismatch4.purs:4:1 - 4:19 (line 4, column 1 - line 4, column 19)
Role mismatch for the type parameter [33ma[0m:
The annotation says [33mrepresentational[0m but the role [33mnominal[0m is required.
in role declaration for [33mF[0m
in data binding group F, G
See https://github.com/purescript/documentation/blob/master/errors/RoleMismatch.md for more information,
or to contribute content related to this error.