monad-stlike-stm (hackage): ST-like monad capturing variables to regions and supporting STM.
Keywords: bsd3|library|monadic-regions|monads