Use MonadState lenses