Contravariant

Em teoria de tipos, um construtor de tipo é contravariante se ele inverte a relação de subtipagem. Por exemplo, se A é um subtipo de B, então `Consumer` é um subtipo de `Consumer`.