Provide MonadState.
Update progress