Definition
Covariant Type Constructor
Let
and be type. A type constructor is called covariant if it preserves the subtype relation of the types: where
denotes the subtype relation.
Covariant Type Constructor
Let
and be type. A type constructor is called covariant if it preserves the subtype relation of the types: where
denotes the subtype relation.