Scuba resume for comonad. (Where the monad is a "type for unclean computing")

Question

In terms of meaningful summaries - this description of Monads seems to triumph - describing them as a "type for unclean computing."

What is the equivalent meaningful (one sentence) description of comonad?

Answer 1

"Type for context-sensitive computing"

Alternatively, the best "detailed description" for monads may be a "type for output impurity," and then the topical description for comonads is a "type for input impurity."

(If you are interested in comonads, in some of my slides of my speeches there are some more examples: http://www.cl.cam.ac.uk/~dao29/talks/comonads-and-codo-talk-dorchard-2011.pdf )