Substitute State Using Functions With A State Monad by Ian Hofmann-Hicks