{C : Type u} →
  [inst : CategoryTheory.Category.{v, u} C] →
    {ι : Type w} →
      {B : C} →
        {objs : ι → C} →
          (arrows : (j : ι) → objs j ⟶ B) →
            CategoryTheory.Limits.Fan objs →
              CategoryTheory.Limits.IsTerminal B → CategoryTheory.Limits.WidePullbackCone arrows