My experience with mypy has been pretty negative.

Not because mypy is bad per se, but it just doesn't flow into a Python workflow naturally. Every time you try to interact with an external module without these annotations you immediately lose all the advantages of statically typed programs.

For me, Python with annotations just doesn't make sense, at that point I would prefer to program in Rust or Java.