[Python-Dev] Re: typing: how to use names in result-tuples?