> Constrained type variables and bound type variables have different semantics in several important ways. Using a constrained type variable means that the TypeVar can only ever be solved as being exactly one of the constraints given:
> [...]
> Using a bound type variable, however, means that the TypeVar will be solved using the most specific type possible: