Comment on the Hoare State Monad