[Python-ideas] Possible enhancement to typing