∀ {R : Type u_1} [inst : CommSemiring R] {ι : Type u_4} {G : ι → Type u_3} [inst_1 : (i : ι) → AddCommMonoid (G i)]
  [inst_2 : (i : ι) → Module R (G i)] (M : Type u_2) [inst_3 : AddCommMonoid M] [inst_4 : Module R M] (i : ι),
  SMulCommClass R R (TensorProduct R (G i) M)