Currying is something the programmer has to do when defining a function - well before partial application happens at all! More precisely, the programmer has to

Currying is something the programmer has to do when defining a function - well before partial application happens at all! More precisely, the programmer has to choose between: fun foo (x, y) = ... And fun foo x y = ... The language won't make the choice for them.