∀ (R : Type u_4) [inst : Semiring R] (ι : Type u_1) (G : ι → Type u_2) [inst_1 : (i : ι) → AddCommMonoid (G i)]
  [inst_2 : (i : ι) → Module R (G i)] {P : Type u_3} [inst_3 : AddCommMonoid P] [inst_4 : Module R P],
  AddMonoidHomClass ((DirectSum ι fun i => G i) →ₗ[R] P) (DirectSum ι G) P