Во что десахарируют специальные скобки (|… |)?

Я прочитал страницу документации по обозначениям стрелок , но мне не совсем понятно, какие «скобки» используются в «7.10.3. Определение ваших собственных управляющих структур» "десахар в.

Для примера в приведенном выше документе

proc x -> do
    y <- f -< x+1
    (|untilA (increment -< x+y) (within 0.5 -< x)|)

Какой эквивалентный код без использования обозначения стрелок?