from typing import TypeVar


T = TypeVar("T", bound=int | str)

def foo(value: T):
    ...