Sat Jul 23 14:46:19 CEST 2011

Composing monads

Apparently that's not such a well-known subject[1].  What I can take
from that post+comments is that the implementation of a monad is too
low-level to make any general statements about, and that what would
help is a more disciplined way to build monad implementations from
composition of primitive monads/transformers that are better behaved.

[1] http://www.randomhacks.net/articles/2007/03/05/three-things-i-dont-understand-about-monads