testsuite/tests/typecheck/should_fail/T18357b.stderr


1
2
3
4
5
6


T18357b.hs:10:3: error:
    • Data constructor ‘MkT’ returns type ‘T’
        instead of an instance of its parent type ‘T’
    • In the definition of data constructor ‘MkT’
      In the newtype declaration for ‘T’