Along with https://pypi.org/project/pony-stubs/, you get decent static typing as well. It's really quite something.