testsuite/tests/typecheck/should_fail/TcCoercibleFail2.stderr


1
2
3
4
5


TcCoercibleFail2.hs:3:10:
    Illegal instance declaration for ‛Coercible () ()’
      The class is abstract, manual instances are not permitted.
    In the instance declaration for ‛Coercible () ()’