Comonad

From HaskellWiki

Comonad is a structure from category theory dual to monad.