∀ {ι : Type u_3} (R : ι → Type u_2) {S : ι → Type u_1} [inst : (i : ι) → SetLike (S i) (R i)]
  [inst_1 : (i : ι) → AddCommGroup (R i)] [∀ (i : ι), AddSubgroupClass (S i) (R i)] (i : ι), AddMemClass (S i) (R i)