local effects and mutable state in Scala with Cats

Question

In Functional Programming with Scala Chapter 14 (local effects and mutable state), the author state the following:

We’ll call this new local-effects monad ST