Lambda interpreter in Haskell