“Destructively assignable entities are essential to the ability to change one part of a program in a significant way without changing the rest of the program. A mechanism for threaded state (Haskell monads) cannot substitute.