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


1
2
3
4
5
6
7


T10817.hs:9:3: error:
    • The type-family application ‘F a’
        is no smaller than the LHS of the family instance ‘F a’
      (Use UndecidableInstances to permit this)
    • In the default type instance declaration for ‘F’
      In the class declaration for ‘C’