Next: Eta Conversion
The second example demonstrates the necessity of alpha conversion.
The lambda bound variable had to be renamed , to prevent
capturing of the free (resulting from the substitution of by
in the body of the first lambda absstraction) by the second
Georg P. Loczewski