equalContravariant should be implicit val