Lightweight_monadic_regions