∀ {R : Type u_1} {S : Type u_2} {A : Type u_4} [inst : Monoid R] [inst_1 : Monoid S] [inst_2 : AddCommMonoid A]
  [inst_3 : DistribMulAction R A] [inst_4 : DistribMulAction S A] [SMulCommClass R S A],
  SMulCommClass R S (AddMonoid.End A)