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