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


1
2
3
4
5
6


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