[Haskell-cafe] Fwd: Linear regions ("Linear Regions Are All You Need") as the only way of encapsulation of impure state

I was thinking for a while about if other kinds of handling of impure state have any advantages over linear regions. So I thought it will be nice to open the discussion about how does it compare with monads, linear types, uniqueness typing and monadic regions.