Rebase.Control.Monad.State.Strict