Talk:Covariance and contravariance (computer science)/to do


 * nonvariance (i.e. unused type variables)