 Partial application can be seen as evaluating a curried function at a fixed point, e.g.given formula_146 and formula_155 then formula_156 or simply formula_157 where formula_158 curries f's first parameter.Thus, partial application is reduced to a curried function at a fixed point.