testsuite/tests/typecheck/should_fail/AssocTyDef03.stderr


1
2
3
4
5


AssocTyDef03.hs:6:5:
    Wrong category of family instance; declaration was for a data family
    In the default type instance declaration for ‘Typ’
    In the class declaration for ‘Cls’