Any functor is a gfunctor in which the morphism are (->)