Сравнение типов с классами из typing

import types
from typing import Union, Any, Optional, Mapping, Sequence, _UnionGenericAlias
 
 
def is_seq(obj: Sequence[object], args):
    return all([isinstance_ex(item, args[0]) for item in obj])
 
 
def is_map(obj: Mapping[object, object], args):
    return all([isinstance_ex(key, args[0]) and isinstance_ex(value, args[1])
                for key, value in obj.items()])
 
 
def is_union(obj: Union, args):
    return any([isinstance(obj, arg) for arg in args])
 
 
def isinstance_ex(obj, type_):
 
   """ оригинальная isinstance()  не поддерживает работу с GenericAlias и прочей мета фигней"""
 
    if type(type_) is types.GenericAlias:
        origin, args = type_.__origin__, type_.__args__
        if isinstance(obj, origin):
            if isinstance(obj, Sequence):  # is list, tuple
                return is_seq(obj, args)
            elif isinstance(obj, Mapping):  # is dict
                return is_map(obj, args)
        return False
    elif type(type_) is _UnionGenericAlias:  # is Union, Optional
        origin, args = type_.__origin__, type_.__args__
        return is_union(obj, args)
    elif type_ is Any:
        return True
    else:
        return isinstance(obj, type_)
 
 
print(isinstance_ex([{"a": 10, "b": 1.6}, {20: 10, "b": 'c'}],
                    list[dict[Union[str, int], Any]]))

data = [{"a": 10, "b": 1.6}, {20: 10, "b": 'c'}]
 
data_type_template =  list[dict[Union[str, int], Any]]
 
isinstance_ex(data,  data_type_template)

print(isinstance("", int | str))
print(isinstance(1, int | str))
print(isinstance(int | str, types.UnionType))

data = [{"a": 10, "b": 1.6}, {20: 10, "b": 'c'}, {"others":1}]
 
for d in data:
    match d:
      case {"a":a, **kw}:
          print(f'словарь {{a:{a}, **{kw}}}')
      case {20:x, **kw}:
          print(f'словарь {{20:{x}, **{kw}}}')
      case _:
          print("что-то другое")