∀ {C : Type u} [inst : CategoryTheory.Category.{v, u} C] (F : CategoryTheory.Functor Cᵒᵖ (Type v)) [F.IsRepresentable]
  (J : Type u_1) [inst_2 : CategoryTheory.Category.{v_1, u_1} J], CategoryTheory.Limits.PreservesLimitsOfShape J F