Even as nothing more than lightweight machine checked documentation, mypy is still a win. And just like you might write a few paragraphs of docs for one function and no docs at all for another, you can specify the hell out of one function's types and lean another completely unannotated. Mypy is an amazing middle ground because you don't need to move your whole codebase.

The overhead is as much or as little as you like.