testsuite/tests/typecheck/should_fail/T7175.stderr


1
2
3
4
5
6


T7175.hs:8:4:
    Data constructor ‘G1C’ returns type ‘F Int’
      instead of an instance of its parent type ‘G1 a’
    In the definition of data constructor ‘G1C’
    In the data declaration for ‘G1’