Incorporate covariance requirement in tuple definition