<rdococ> le//rn overflow//Overflow is a phenomenon that occurs when too much water pours into the inner mechanics of a hydrocomputer.

Comonads are just monads in the dual category. They are hard to get into.