Never use Mypy, but I think it probably check only the static-like (with generic) types like any other static languages.