path: root/testsuite/tests/indexed-types/should_fail/TyFamArity2.stderr

TyFamArity2.hs:4:15:
    Number of parameters must match family declaration; expected 1
    In the type instance declaration for ‘T’