SI-7179 - annotate Equiv and PartialOrdering as contravariant