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

SimpleFail1a.hs:4:1:
    Number of parameters must match family declaration; expected 2
    In the data instance declaration for ‛T1’