Python 类型提示中 TypeVar 的协变和逆变怎么理解？

协变（covariant）适用于返回类型，如 Callable[T]；逆变（contravariant）适用于参数类型，如 Callable[[T], None]。使用 covariant=True 声明协变，contravariant=True 声明逆变。理解关键在于子类型关系的方向。