Monad transformers

[lomeo]

ivan_gandhi: Вот этот факт, некоммутирование монад, по-моему, является одной из причин, почему программирование не является тривиальным занятием.

Comments

[nivanych.livejournal.com]

;-) Принцип нормальной модульности тоже иногда стоит не выполнять.
Потому, что геморроя в этом конкретном месте немного, а правильно спроектировать именно "вот тут вот" сложно.

За монады в ML я вполне в курсе.