Fundeps work even for unary type classes
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail155.stderr
1
2 tcfail155.hs:8:6: error:
3     • Data constructor ‘P’ returns type ‘L2’
4         instead of an instance of its parent type ‘T a’
5     • In the definition of data constructor ‘P’
6       In the data type declaration for ‘T’