change Modify monad.