∀ {ι : Type u_2} (R : ι → Type u_1) [inst : (i : ι) → Semiring (R i)],
  NonUnitalRingHomClass (Polynomial ((i : ι) → R i) →+* (i : ι) → Polynomial (R i)) (Polynomial ((i : ι) → R i))
    ((i : ι) → Polynomial (R i))