path: root/testsuite/tests/typecheck/should_fail/tcfail213.stderr

tcfail213.hs:8:1: error:
    • Illegal constraint ‘F a’ in a superclass context
        (Use UndecidableInstances to permit this)
    • In the context: F a
      While checking the super-classes of class ‘C’
      In the class declaration for ‘C’