In my experience Hindley Milner type inference is a misfeature. Pyright doesn't use it and its typing system is very good. My only typing complaint with it is that it exactly types dict literals by default, which is usually not what you want.

By that I mean if you do

  foo = {"a": 2}
  foo["b"] = 3

you will get a type error because the inferred type of foo includes knowledge of the keys. But well written code doesn't use dicts when you know which keys are going to be present - you use a dataclass.

I guess you could argue most Python is not well written, but then most Python developers are too amateur to use Pyright anyway.