The biggest problem with Python typing + mypy is that it's not complete: not everything can be type annotated strictly (as in, avoiding `Any`) and correctly (as in, matching actual types passing through the code and not just whatever shuts up mypy). One example is JSON-like `dict`s, since mypy doesn't support recursive types yet[1].

[1] https://github.com/python/mypy/issues/731