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