Type parameter X of TypeParameter_variance_contra.Box
in X, kind: TypeVar