Enter the λ-expression you want to reduce below:

Reduction strategy: Applicative Order  Normal Order