1 2 3 4
tcfail101.hs:9:1: Type synonym `A' should have 1 argument, but has been given none In the type signature for `f': f :: T A