-- | Lift an action working in the inner monad to the 'RewriteSession'
liftRS :: Monad m => m a -> RewriteSession m a
liftRS m = lift . lift . lift $ m
liftRS :: Monad m => m a -> RewriteSession m a
liftRS m = lift . lift . lift $ m
liftRS m = lift . lift . lift $ m