This was something that was in vogue in the mid / late 2000s, then Haskell became the cool kid language and types are back.
The thing that drives me crazy about Python typing is that I need to import stuff to make full use of the type system. Like I get that the typing is option because that would be a huge language overhaul, but it feels weird that so many tools get hidden inside libraries (standing or otherwise).