а между тем, в этом году монадам, как мы их знаем и любим, исполняется 25 лет ("Notions of computation and monads" опубликована в 1991 году http://www.disi.unige.it/person/MoggiE/ftp/ic91.pdf)
при этом я впервые встретил монады в этом контексте не в Haskell IO, а в "Monad Transformers and Modular Interpreters" (ну оттуда собственно IO и выросло) ‎- волна бургерных