Simulate Haskell evaluation step by step