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