{A : Type u_5} →
  {M : Type u_6} →
    {B : Type u_7} →
      [inst : Monoid M] →
        [inst_1 : Monoid A] → [MulDistribMulAction M A] → [inst_3 : CommMonoid B] → MulDistribMulAction Mᵈᵐᵃ (A →* B)