A more intuitive approach to the State Monad in Scala

The 'Functional programming in Scala' book (aka 'the red book') defines a state transformation as a function with this signature: S => (S, A) where S is a type representing the state of our application and A is the type of the output we get running ...