∀ (S : Type u_1) (R' : Type u_2) (R : Type u_4) (A : Type u_3) [inst : Semiring R]
  [inst_1 : NonUnitalNonAssocSemiring A] [inst_2 : Module R A] [inst_3 : Semiring R'] [inst_4 : SMul R' R]
  [inst_5 : Module R' A] [IsScalarTower R' R A] [inst_7 : SetLike S A] [SMulMemClass S R A], SMulMemClass S R' A