Drop in MonadicRegions code.