None of this has to do with globals -- the key issue is accessibility of shared mutable state from within imperative functions. That is an inescapable constant

None of this has to do with globals -- the key issue is accessibility of shared mutable state from within imperative functions. That is an inescapable constant outside of FP environments.