Функциональщикам надо перестать заниматься "нотационным терроризмом" - был бы большой прогресс.
А то беда, как и многих неприкладных математиков, - мнение, что заковыристая и изящно-офигенно-"выразительная" нотация (и стоящая за ней семантика) должна сразу всех приводить в восторг.

А то идеи все интересные, статьи почитываешь - но разбирать эти выкрутасы конкретно-языковые ни сил, ни времени.

Проще надо, как всегда.

Лучше длинно, тупо и надёжно.

Если мне понадобится что-то из ФП (а идеи эти постоянно помогают) - я точно знаю, что не буду разбираться с существующими наворотами, а буду делать свой мини-интерфейс библиотечный и рантаймчик. Собственно, как уже делал с Рефалом-0.