Patrik Eklund Maria A. Galán Monads Can Be Rough. 77-84 2006 conf/rsctc/2006 RSCTC http://dx.doi.org/10.1007/11908029_9 db/conf/rsctc/rsctc2006.html#EklundG06