Read-only functions in State monad

Create a State monad that some functions may be typed as only reading the state, not modifying it.