В терминах содержательных резюме - this description of Monads seems to win - описывая их как «тип для нечистых вычислений».Питовое резюме для comonad. (Где монада является «типом для нечистых вычислений»)
Что такое эквивалентное описание одного коментария (одно предложение)?
«Тип для контекстно-зависимых вычислений»
В качестве альтернативы, лучше «содержательное описание» для монад может быть «тип для вывода примеси», и в этом случае то содержательное описание comonads является «тип для входной примеси '.
(Если вы заинтересованы в comonads, еще некоторое введение даются в каких-то переговорах горок шахты: http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf)
Re тега Haskell - спасибо за правки - я честно думал о 'core.async' в Clojure. Можно ли удалить тег 'haskell'? – hawkeye