Changed redo.hs