Reusable constraint types to use with typing.Annotated
https://github.com/annotated-types/annotated-types/