testsuite/tests/typecheck/should_fail/tcfail176.stderr


1
2
3
4
5
6


tcfail176.hs:7:21:
    Data constructor `Bug' returns type `Maybe a'
      instead of an instance of its parent type `Bug a'
    In the definition of data constructor `Bug'
    In the newtype declaration for `Bug'