Category "type-bounds"

Workaround for TypeVar bound on a TypeVar?

Is there some way of expressing this Scala code with Python's type hints? trait List[A] { def ::[B >: A](x: B): List[B] } I'm trying to achieve this sort