@hackage / acme-cofunctor

A Cofunctor is a structure from category theory dual to Functor