testsuite/tests/typecheck/should_fail/AssocTyDef02.stderr


1
2
3
4
5
6


AssocTyDef02.hs:6:10:
    Type indexes must match class instance head
    Found ‛[b]’ but expected ‛a’
    In the type synonym instance default declaration for ‛Typ’
    In the class declaration for ‛Cls’