Static types in Python
IMO adding static types is  good step but it sort of misses the point of modern type systems.The good thing about types is not that you can just annotate (or not with good inference not) and validate that some type is what you expect it to be. It's that with a proper type system you can develop better abstractions.