Map And Evaluate State With A Stateful Monad by Ian Hofmann-Hicks