New MonadicRegions and STMonad modules.