"This PEP introduces a mechanism to extend the type annotations from PEP 484 with arbitrary metadata." pep-593 PEP master Issue with some examples Some ideas below. Note that this is all pseudo cod...