> I thought f accepts just one argument.

if f is (+) then 
f::a -> a -> a
​