> It's a consequence of Python never having been designed as a language with a static type system

Is it? Mypy is semi-official and has Guido as a contributor. It also predates both pyright and pyre by many years.

Honestly I find it somewhat sad that huge tech companies create their own instead of contributing to an existing and popular implementation. But perhaps the internal versions predated Mypy by a lot.