Construct a Stateful Monad by Ian Hofmann-Hicks