By that argument, all programming is immutable, with monads only used to update the mutable parts.

The point of this article is to detail needs for those monads to interact in a concurrent manner.