This "mandatory" currying is an useful and elegant simplification compared to other languages, but in practical terms if we write f a b f has to work as

This "mandatory" currying is an useful and elegant simplification compared to other languages, but in practical terms if we write f a b f has to work as a function of two arguments; that it is also formally interpretable, but not necessarily useful, as a function of one argument is only a nice bonus.