Log Message:
Import comonad-5.0.6 from wip

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