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

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