Quick state monad notes