Invariant Type Constructor

type-theory

Definition

Invariant Type Constructor

Let and be type. A type constructor is called invariant if it is neither covariant nor contravariant:

where denotes the subtype relation.