A simple implementation of monadic regions, allowing safe access to resources with prompt, automatic finalization.