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