A Comonad is a Functor and provides duals of the Monad "return" and
">>=". Instead of wrapping, you can extract a value from a Comonad.

Homepage:
http://hackage.haskell.org/package/comonad
