transforms a function that takes multiple arguments into a chain of functions each with a single argument.

Function application of the function to the arguments (5, 2), yields at once
:
:
: ,whereas evaluation of the curried version requires one more step
:
: // the definition of has been used with in the inner expression. This is like ?-reduction.
: // the definition of has been used with . Again, similar to ?-reduction.
: to arrive at the same