Loading annotation for mypy.readthedocs.io