[Python-ideas] Re: Type Implications in Python 4 (or 3.9)