Comment by emeryberger

However, the resulting type annotations should work for Python 3.9+.