-Abstraction
-abstraction on the contrary is useful in `eager' languages
to create a wrapper around a lambda-expression.
In `lazy' languages like Lambda Calculus, A++, SML, Haskell, Miranda etc.
-conversion, abstraction and reduction alike, are mainly used
within compilers. (See [Jon87] page 22.)
