document covariants implemented