{R : Type u} →
  {S : Type v} →
    {ι : Type w} →
      [inst : CommRing R] →
        [inst_1 : CommRing S] →
          [inst_2 : Algebra R S] →
            {ι' : Type u_1} → Algebra.Generators R S ι → (ι' → S) → Algebra.Generators R S (ι ⊕ ι')