{C : Type u} →
  [inst : CategoryTheory.Category.{v, u} C] →
    {A : Type w} →
      [inst_1 : AddMonoid A] →
        [inst_2 : CategoryTheory.HasShift C A] →
          CategoryTheory.TwistShiftData C A → A → A → (CategoryTheory.CatCenter C)ˣ