Error found:
in module Main
at tests/purs/failing/CoercibleRoleMismatch5.purs:4:1 - 4:21 (line 4, column 1 - line 4, column 21)

  Role mismatch for the type parameter a:

    The annotation says phantom but the role representational is required.


in role declaration for F
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.