1 2 3 4
tcfail078.hs:5:6: ‘Integer’ is applied to too many type arguments In the type signature for ‘f’: f :: Integer i => i