T7278.hs:8:43:
    ‘t’ is applied to too many type arguments
    In the type signature for ‘f’:
      f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0