{ι : Type u_1} →
  (R : ι → Type u_2) →
    {𝓕 : Filter ι} →
      {S : ι → Type u_3} →
        [inst : (i : ι) → SetLike (S i) (R i)] →
          {B : (i : ι) → S i} →
            {G : Type u_4} →
              [inst_1 : (i : ι) → SMul G (R i)] →
                [∀ (i : ι), SMulMemClass (S i) G (R i)] → SMul G (RestrictedProduct (fun i => R i) (fun i => ↑(B i)) 𝓕)