Is this comment backwards? (i.e. this file is testing a type which is contravariant by using it in a covariant way)