就精简摘要而言 - this description of Monads seems to win - 将它们描述为“不纯计算的类型”。
comonad的等效精简（一句话）描述是什么？
答案 0 :(得分：3)
“用于上下文相关计算的类型”
或者，对于单子组的更好的“精简描述”可能是“输出杂质的类型”，在这种情况下，对于共同组合的简洁描述是“输入杂质的类型”。（如果你对comonads感兴趣，我的一些谈话幻灯片中会给出更多介绍：http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf）