Как правильно привязать TypeVar к протоколу? ⇐ Python

[Anonymous]

Я хочу ввести annotate простую функцию сортировки, которая получает список любых значений, которые имеют __lt__, __gt__ или оба, но не смешанные методы (т. е. все значения должны иметь одинаковые метод сравнения) и возвращает список, содержащий те же элементы, которые он получил, в отсортированном порядке.
Что я сделал до сих пор:
from typing import Any, Protocol

class SupportsLT(Protocol):
def __lt__(self, other: Any, /) -> bool: ...

class SupportsGT(Protocol):
def __gt__(self, other: Any, /) -> bool: ...

def quick_sort[T: SupportsLT | SupportsGT](seq: list[T]) -> list[T]:
if len(seq) list[T]:
if len(seq) bool:
return self.value > other.value

print(HasGT(5) < HasGT(6)) # Prints True


Подробнее здесь: https://stackoverflow.com/questions/792 ... o-protocol