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

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