That's an interesting syntax suggestion, you might want to suggest that in the python-ideas mailing list for other people to read about it rather than post it on python bugs.

IMO, this isn't really an issue since you can specify the type of the elements in generic types via::

   my_list: list[int] = [1, 2, 3]
   for element in my_list:
       process(element)

Your type checker should be able to infer that ``element`` is of type ``int`` (or hopefully, it will in the near future).