[agrajag]

Yeah, it's ambiguous, but be realistic: how often are you calling a function with a function return just to invoke that directly?

You usually won't see much of either sinice the type argument is only necessary when it can't be inferred.

[imtringued]

In Haskell this happens every time you call a function with two or more arguments.