∀ {M : Type u_8} [inst : AddCommMonoid M] {R : Type u_14} {S : Type u_15} [inst_1 : Semiring S] [inst_2 : SMul R M]
  [inst_3 : Module S M] [inst_4 : SMul R S] [IsScalarTower R S M], LinearMap.CompatibleSMul S M R S