testsuite/tests/typecheck/should_fail/tcfail155.stderr


1
2
3
4
5
6


tcfail155.hs:8:6: error:
    • Data constructor ‘P’ returns type ‘L2’
        instead of an instance of its parent type ‘T a’
    • In the definition of data constructor ‘P’
      In the data type declaration for ‘T’