{C : Type u₁} →
  [inst : CategoryTheory.Category.{v₁, u₁} C] →
    {T : CategoryTheory.Monad C} →
      (X : T.Algebra) →
        CategoryTheory.Limits.Cofork (CategoryTheory.Monad.FreeCoequalizer.topMap X)
          (CategoryTheory.Monad.FreeCoequalizer.bottomMap X)