redo.hs v2