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’