Use of covariance and contravariance