
tcfail214.hs:9:10:
    Illegal irreducible constraint F a
    in superclass/instance head context (Use -XUndecidableInstances to permit this)
    In the context: (F a)
    While checking an instance declaration
    In the instance declaration for `C [a]'
