Rebase.Control.Monad.Writer.Strict