Untyped lambda machine in Haskell