[vorticalbox]

Not that I am aware of. You can create you own types like what has happened with boto3 [1]

I would assume as types become used more a definitely typed type project will happen on pypi.

[1] https://pypi.org/project/boto3-type-annotations/