∀ {C : Type u₁} {D : Type u₂} {inst : CategoryTheory.Category.{v₁, u₁} C} {inst_1 : CategoryTheory.Category.{v₁, u₂} D}
  {G : CategoryTheory.Functor D C} [self : CategoryTheory.Monad.PreservesColimitOfIsSplitPair G] {A B : D} (f g : A ⟶ B)
  [G.IsSplitPair f g], CategoryTheory.Limits.PreservesColimit (CategoryTheory.Limits.parallelPair f g) G