Opposite of CoVariance (see ContraVsCoVariance).
A class system where an overridden method in a SubClass? may only accept parameters of the same class or a SuperClass? of the corresponding parameter in the original method. Can be proven typesafe at compile-time by a typechecker (whereas argument CoVariance cannot).