[Functional Programming Monad] Map And Evaluate State With A Stateful Monad