 Note that after calling formula_150, we are left with a function that takes a single argument and returns another function, not a function that takes two arguments.In contrast, partial function application refers to the process of fixing a number of arguments to a function, producing another function of smaller arity.Given the definition of formula_1 above, we might fix (or 'bind') the first argument, producing a function of type formula_152.