 Since curry takes, as input, functions with the type formula_123, one concludes that the type of curry itself is

The → operator is often considered right-associative, so the curried function type formula_125 is often written as formula_126.Conversely, function application is considered to be left-associative, so that formula_127 is equivalent to

That is, the parenthesis are not required to disambiguate the order of the application.Curried functions may be used in any programming language that supports closures; however, uncurried functions are generally preferred for efficiency reasons, since the overhead of partial application and closure creation can then be avoided for most function calls.