Covariance takes arguments now.