I've annotated Python typing with a 20/80 approach. I annotate strings, integers, floats, simple list and dict. I don't try to produce complex type specs for li

I've annotated Python typing with a 20/80 approach. I annotate strings, integers, floats, simple list and dict. I don't try to produce complex type specs for lists, dicts, functions. My company runs some kind of static analysis that checks things. And I get 80% of the benefit with 20% of the work. So start small, and don't expect perfection (yet).