Implement Covariance via T4 template