Region "buď nebo ne" pro $MON tady podle mě. Monad tuto úroveň ztratí a je konec