tcfail214.hs:9:10: error:
    • Illegal use of type family ‘F’ in the constraint ‘F a’
      (Use UndecidableInstances to permit this)
    • In the instance declaration for ‘C [a]’