Sort u →
  {C : Type u_1} →
    [inst : CategoryTheory.Category.{v_1, u_1} C] →
      {X Y : C} →
        {f : Y ⟶ X} →
          CategoryTheory.EffectiveEpiStruct f →
            {C' : Type u_1} →
              [inst' : CategoryTheory.Category.{v_1, u_1} C'] →
                {X' Y' : C'} → {f' : Y' ⟶ X'} → CategoryTheory.EffectiveEpiStruct f' → Sort u