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.