Contravariance

A variance relation that reverses subtype direction, commonly used for values consumed by an API.

Used in