TY - RPRT TI - Patterns for computational effects arising from a monad or a comonad AU - Jean-Guillaume Dumas AU - Dominique Duval AU - Jean-Claude Reynaud PY - 2013 UR - https://arxiv.org/abs/1310.0605 ID - 1310.0605 ER -