Client Lambda Calculus Haskell