A variance relation where a generic producer of a subtype can be used as a producer of its supertype.