 Let formula_45 denote the ordered pairs of the elements of formula_3 and formula_4 respectively, that is, the Cartesian product of formula_3 and formula_4.Here, formula_3 and formula_4 may be sets, or they may be types, or they may be other kinds of objects, as explored below.Given a function

currying constructs a new function

That is, formula_54 takes an argument from formula_3 and returns a function that maps formula_4 to formula_57.