MonadState implementation in Ur/Web