Reusable constraint types to use with typing.Annotated
