python variadic的类型提示，其返回类型取决于参数类型

Question

考虑Inner_join的定义下面：

from typing import TypeVar
from collections.abc import Mapping, Hashable
from functools import reduce

K = TypeVar('K', bound=Hashable)
V = TypeVar('V')

def keyset(m: Mapping[K, Any]) -> set[K]:
    return set(m.keys())

def inner_join(*ms: Mapping[K, Any]) -> dict[K, tuple[...]]:
    keys = reduce(set.intersection, map(keyset, ms)) if ms else set()

    return {k: tuple(m[k] for m in ms) for k in keys}

我的理解是innit_join的类型提示是正确的，但它比它的特定性要少得多，只要我能以某种方式表达事实元组的元素的类型是由映射ms的值类型修复的。例如，如果我声明了此功能的两个ARG版本，我会写下以下类型：

U = TypeVar('U')
V = TypeVar('V')

def inner_join2(m1: Mapping[K, U], m2: Mapping[K, V]) -> dict[K, tuple[U, V]]:
   ...

是否有任何方法可以概括该注释，以便它适用于variadic版本？