py-pydantic-extra-types is a stub port
