Python typing system contributor, especially to TypedDict and mypy.

Software sculptor. Writer. Teacher. Inquiring mind. Bringing coding to K-12 schools.