testsuite/tests/typecheck/should_fail/AssocTyDef05.stderr


1
2
3
4
5


AssocTyDef05.hs:6:10:
    Number of parameters must match family declaration; expected 1
    In the type synonym instance default declaration for ‘Typ’
    In the class declaration for ‘Cls’