псы в рапиде » from archive
"Monad Transformers and Modular Interpreters", Liang, Hudak, Jones [1995] - http://mynd.rinet.ru/~alexm/tmp/liang1.pdf