[$] Growing pains for typing in Python

Python's static-typing feature has come a long way since it was introduced in 2014. Adding typeinformation to functions has always been-and will remain-optional, but typingstill remains somewhat contentious. There are multiple kinds ofconsumers of the information, each with their own needs andwishes, as well as users of the feature with expectations of their own. That hasled to the formation of a Python typing councilto govern the type system for the language, though, as might be guessed,there are still grumblings from various quarters.