Fixed-point combinator

In computer science, a fixed-point combinator (or fixpoint combinator) is a higher-order function y that satisfies the equation

or in words: y, when applied to an arbitrary function f, yields the same result as f applied to the result of applying y to f. It is so named because, by setting , it represents a solution to the fixed point equation,