Haskell interpreter for the lambda calculus.