Implementation-of-Redo-in-Haskell