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

SimpleFail3a.hs:10:3:
    Wrong category of family instance; declaration was for a data type
    In the type instance declaration for ‛S1’
    In the instance declaration for ‛C1 Int’