testsuite/tests/typecheck/should_fail/tcfail214.stderr


1
2
3
4
5
6
7


tcfail214.hs:9:10:
    Illegal constraint ‘F a’ in a superclass/instance context
      (Use UndecidableInstances to permit this)
    In the context: (F a)
    While checking an instance declaration
    In the instance declaration for ‘C [a]’