Монады - это не про синтаксис, а про возвращаемые значения и методы их компоновки. Соблюдение монадных законов, даже тогда, когда, кажется, что не нужно, сильно упрощает жизнь. Весьма существенно.

Ну. Таков мой опыт. Я когда в тупик захожу с кодом в котором появляется куча if-ов, с бэктрэкингом мерзким или с прохрдами по предоставленным пользователем деревьям, меня выручают монады. do-нотация тут и не при чём даже. Дело в том, как корректно абстрагировать шаги вычисления, чтобы они потом компоновались

госпади, когда же эти холивары закончатся

Если хотите, могу в личном сообщении примеры кода показать. Они для будущей статьи :)

Вот тут как раз не обязательно компоновать шаги вычислений, потому что они и так естественным образом компонуются в императивных языках. Потому что компоновка тут весьма проста.

а может они закончатся тогда, когда процессоры начнут делать с учётом монадических законов, а не как императивные молотилки памяти? )))

Не компонуются. Всё равно, вот есть у вас два результата из двух функций, как логически корректно скомпонвать их в один результат? Просто ; поставить не выйдет.

А монады тут как помогут?

Ну... Они задают каркас логики компоновки. return и join с определёнными законами над этими операциями.

Нужно представить данные в подходящем для join и return виде, и от этого структура кода очень часто существенно упрощается.

Это, как мне представляется, походе просто на математическое моделирование. Мы же описываем натуральными числами любые количества. Ту точно так же, мы описываем монадами любые компоновки из частей в целое.

Каркас и так уже задан в императивных языках

Для обхода деревьев достаточно иметь набор выразительных комбинаторов (topdown, bottomup и проч.), а также иметь способ неявной передачи состояния между ними. И все, какие там монады! %)

def combinator(s):
  r1 = parser1(s)
  r2 = parser2(s)
  return (r1, r2)

vs

combinator = do
  r1 <- parser1
  r2 <- parser2
  return (r1, r2)

а в чём собственно принципиальная разница?

Я предлагаю предъявить императивщикам статью https://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf, чтобы они показали как это красиво пишется без монад, а потом обсудить. Вдруг монады правда не так уж полезны для описанной задачи