∀ {C : Type u_4} [inst : CategoryTheory.Category.{u_3, u_4} C] {I : Type u_2}
  [inst_1 : CategoryTheory.Category.{u_1, u_2} I] (F : CategoryTheory.Functor I C) [CategoryTheory.Limits.HasColimit F]
  (A : C), CategoryTheory.Limits.HasLimit (F.op.comp (CategoryTheory.yoneda.obj A))