Rebase.Control.Monad.RWS.Lazy