AboutTypeVariance works