Currying
Many definitions of the lambda calculus restrict functions to having a single argument
But that�s OK, since there exists a function that can curry other functions, yielding only functions of one argument
So we can use a multiple argument lambda calculus without loss of generality