[Python-ideas] Re: async types?