∀ {σ : Type u_4} {R : Type u_1} {A : Type u_3} {S : Type u_2} [inst : Semiring R] [inst_1 : Semiring S]
  [inst_2 : AddCommMonoid A] [inst_3 : Module R A] [inst_4 : Module S A] [inst_5 : SMul R S] [IsScalarTower R S A],
  IsScalarTower R S (MvPowerSeries σ A)