{Γ : Type u_1} →
  {R : Type u_3} →
    {β : Type u_6} →
      [inst : PartialOrder Γ] →
        [inst_1 : AddCommMonoid R] → {M : Type u_7} → [SMulZeroClass M R] → SMul M (HahnSeries.SummableFamily Γ R β)