Haskell interpreter for lambda calculus