Различение однородных и гетерогенных кортежей в перегрузках функций Python

Предположим, у меня есть интерфейс Base с множеством реализаций.

from abc import ABC

class Base(ABC): ...

class A(Base): ...
class B(Base): ...
class C(Base): ...
# ...
class Z(Base): ...

Теперь я хочу определить составной класс, содержащий замороженный набор таких объектов. Существует общий интерфейс Product и две реализации, которые принимают либо гетерогенный замороженный набор (MixedProduct), либо однородный замороженный набор Z (ZProduct).

from abc import ABC, abstractmethod
from dataclasses import dataclass


class Product(ABC):
    @property
    @abstractmethod
    def items(self) -> frozenset[Base]: ...


@dataclass(frozen=True)
class MixedProduct(Product):
    items: frozenset[Base]


@dataclass(frozen=True)
class ZProduct(Product):
    items: frozenset[Z]

существует фабричная функция, которая принимает произвольное количество объектов Base и возвращает правильный объект Product

from collections.abc import Iterable
from typing_extensions import TypeGuard


def check_all_z(items: tuple[Base, ...]) -> TypeGuard[tuple[Z, ...]]:
    return all([isinstance(item, Z) for item in items])

def make_product(*items: Base) -> MixedProduct | ZProduct:
    # `items` is a tuple[Base, ...]
    if check_all_z(items):  # the TypeGuard tells MyPy that items: tuple[Z, ...] in this clause
        return ZProduct(frozenset(items))
    return MixedProduct(frozenset(items))

поэтому эта функция возвращает ZProduct, только если все входные элементы равны Z и MixedProduct в противном случае. Теперь я хотел бы сузить тип возвращаемого значения make_product, поскольку объединение не фиксирует возможные отношения ввода и типа возвращаемого значения. Я хочу что-то вроде этого

reveal_type(make_product(Z()))  # note: Revealed type is "ZProduct"
reveal_type(make_product(A()))  # note: Revealed type is "MixedProduct"
reveal_type(make_product(Z(), Z()))  # note: Revealed type is "ZProduct"
reveal_type(make_product(B(), A()))  # note: Revealed type is "MixedProduct"
reveal_type(make_product(B(), Z()))  # note: Revealed type is "MixedProduct" # also contains one Z!!

Я продолжу и определяю две перегрузки

from typing import overload

@overload
def make_product(*items: Base) -> MixedProduct: ...


@overload
def make_product(*items: Z) -> ZProduct: ...


def make_product(*items):
    if check_all_z(
        items
    ):  # the TypeGuard tells MyPy that items: tuple[Z, ...] in this clause
        return ZProduct(frozenset(items))
    return MixedProduct(frozenset(items))

поэтому первая перегрузка — это «перехват всего», а вторая — это специализация для единственного случая, когда вы получите ZProduct. Но теперь MyPy жалуется на

error: Overloaded function signature 2 will never be matched: signature 1's parameter type(s) are the same or broader  [misc]

Итак, мой вопрос: есть ли способ просто специализировать аннотации для make_product для этого конкретного случая, которые бы возвращали ZProduct любым другим способом? С overload кажется, что это возможно только в том случае, если все задействованные типы вообще не пересекаются. Это означало бы, что мне придется определить объединение всех других реализаций Base, кроме Z, и использовать его в качестве входных данных для варианта MixedProduct. Но это тоже не работает, потому что вы можете иметь Z во входных элементах для варианта MixedProduct, но не во всех из них (см. последний пример show_type выше). FWIW при использовании объединения всех реализаций Base (включая Z) для варианта MixedProduct выдает ту же ошибку MyPy.

Как еще я мог бы различать однородные и гетерогенные кортежи с аннотациями типов, чтобы в моем случае определить правильные отношения типов ввода-возврата?

Чтобы внести ясность: фактический код времени выполнения делает то, что я хочу, я просто не могу правильно определить аннотации типов.