1 2 3 4 5
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