-Reduction
-reduction is useful to eliminate redundant lambda abstractions.
The following rule can be interpreted like this:
If the sole purpose of a lambda abstraction is to pass its argument to
another function, then the lambda abstraction is redundant and can
be stripped via -reduction.
In an environment where `eager evaluation' is used like in Scheme such redundant lambda abstractions are used as a wrapper around a lambda expression to prevent immediate evaluation.
