∀ (C : Type u) [inst : CategoryTheory.Category.{v, u} C]
  [∀ {X Y : C} {f g : X ⟶ Y}, CategoryTheory.Limits.HasColimit (CategoryTheory.Limits.parallelPair f g)],
  CategoryTheory.Limits.HasCoequalizers C