Eventually, we end up with a chain of functions as in lambda calculus, where each function takes only one argument, and multi-argument functions are usually represented in curried form.
We end up with a chain of functions as in lambda calculus. This is eventually. Each function takes only one argument. Multi-argument functions are usually represented in curried form. This was eventually.