Re: [Python-ideas] "Sum" Type hinting [was: Type hinting for path-related functions]