The Y combinator is useful when writing recursive lambdas. It
converts a lambda that expects a self-reference as its first argument
into one which can be called without this argument.
Example
This example creates a lambda that computes the faculty function.