Create redo.hs