mypy is going in a nice direction! hope it would get scala or idris-level typechecks :)
But... most library definitions are quite lacking...
if only some big company would volunteer to fill that huge gap...
(hope MS gives some luv! just like they did with Typescript + DefinitelyTyped)