testsuite/tests/indexed-types/should_fail/T12041.stderr


1
2
3
4
5
6
7


T12041.hs:12:8: error:
    • Type indexes must match class instance head
      Expected: Ob @i (I @{i} @{i})
        Actual: Ob @* (I @{*} @{*})
    • In the type instance declaration for ‘Ob’
      In the instance declaration for ‘Category I’