IOR (hackage): IOR monad is a wrapper around IO that allows region based resource management.
Keywords: bsd3|library|monadic-regions|system