A Python typing library for data validation.