Я прочитал страницу документации по нотам стрелок, но мне не совсем понятно, что такое "скобки труб", используемые в разделе "7.10. 3. Определение собственных структур управления" desugar".
Учитывая пример в приведенном выше документе
proc x -> do
y <- f -< x+1
(|untilA (increment -< x+y) (within 0.5 -< x)|)
Что эквивалентный код без использования обозначений стрелок?