 Further, a curried function at a fixed point is (trivially), a partial application.For further evidence, note that, given any function formula_116, a function formula_160 may be defined such that formula_161.Thus, any partial application may be reduced to a single curry operation.