A simple lambda calculus interpreter in Haskell.