modify :: (State -> State) -> Update ()
modify f = State.modify (\(o, s) -> (o, f s))
modify :: (State -> State) -> Update ()
modify f = State.modify (\(o, s) -> (o, f s))
modify f = State.modify (\(o, s) -> (o, f s))