¿Esto simplemente lo haría?

 from typing import Dict, Union, Set RecordType = Dict[Union[int, str], Set[str]] def my_func(rec: RecordType): pass my_func({1: {'2'}}) my_func({1: {2}})

Este código generará una advertencia de su IDE en la segunda llamada a my_func , pero no en la primera. Como indicó @ sahasrara62, más aquí https://docs.python.org/3/library/stdtypes.html#types-genericalias

En caso de que los usuarios busquen un typedef nominal distinto :

 from typing import Dict, Union, Set, NewType RecordType = Dict[Union[int, str], Set[str]] DistinctRecordType = NewType("DistinctRecordType", Dict[Union[int, str], Set[str]]) def foo(rec: RecordType): pass def bar(rec: DistinctRecordType): pass foo({1: {"2"}}) bar(DistinctRecordType({1: {"2"}})) bar({1: {"2"}}) # <--- this will cause a type error

Este fragmento demuestra que solo servirá el casting explícito.

 $ mypy main.py main.py:14: error: Argument 1 to "bar" has incompatible type "Dict[int, Set[str]]"; expected "DistinctRecordType" Found 1 error in 1 file (checked 1 source file)