(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} → [SizeOf D] → [SizeOf M] → SizeOf (CategoryTheory.CommShift₂Setup D M)