Cofunctor

Cofunctor