Simple Simply-Typed Lambda Calculus interpreter in Haskell