∀ {R : Type u_3} {S : Type u_4} [inst : Monoid R] [inst_1 : Monoid S] {φ : R →* S} {A : Type u_1} {B : Type u_2}
  [inst_2 : NonUnitalNonAssocSemiring A] [inst_3 : DistribMulAction R A] [inst_4 : NonUnitalNonAssocSemiring B]
  [inst_5 : DistribMulAction S B], DistribMulActionSemiHomClass (A →ₛₙₐ[φ] B) (⇑φ) A B