反变

contravariant, contravariance