Definition
Contravariant Type Constructor
Let
and be type. A type constructor is called contravariant if it reverses the subtype relation of the types: where
denotes the subtype relation.
Contravariant Type Constructor
Let
and be type. A type constructor is called contravariant if it reverses the subtype relation of the types: where
denotes the subtype relation.