Rebase.Control.Monad