You can even benefit from it without bothering with the type annotations (though they make it more effective).

https://google.github.io/pytype/