Jean-Guillaume Dumas Dominique Duval Jean-Claude Reynaud Patterns for computational effects arising from a monad or a comonad. 2013 CoRR http://arxiv.org/abs/1310.0605 abs/1310.0605 db/journals/corr/corr1310.html#DumasDR13