[olejorgenb]

Or a bound typevar:

    T = TypeVar("T", bound=int | list[int])

    def(x: T) -> T: