{D : Type u_5} →
  {inst : CategoryTheory.Category.{v_5, u_5} D} →
    {M : Type u_6} →
      {inst_1 : AddCommMonoid M} → {inst_2 : CategoryTheory.HasShift D M} → CategoryTheory.CommShift₂Setup D M → ℕ