Modify The State Of A State Monad by Ian Hofmann-Hicks