branded-type
Callable branded and constrained string base classes with exact runtime subtype preservation.