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).