↰
base.iter.Sum
imm .nat(ns: mut base.iter.Iter[imm base.Nat]): imm base.Nat -> …,
imm .float(ns: mut base.iter.Iter[imm base.Float]): imm base.Float -> …,
imm .int(ns: mut base.iter.Iter[imm base.Int]): imm base.Int -> …,
imm .nat(ns: mut base.iter.Iter[imm base.Nat]): imm base.Nat -> …,
imm .float(ns: mut base.iter.Iter[imm base.Float]): imm base.Float -> …,
imm .int(ns: mut base.iter.Iter[imm base.Int]): imm base.Int -> …,