"Does anyone have useful functionality to go into a Cofunctor module (beyond the class declaration)?" Successful post-H98 additions to Base (Applicative, Arrows, ...) brought a compelling programming style with them. For Comonads, Category-extras does define some extra combinators but otherwise they have perhaps seemed uncompelling.