Return an Eq that gives the result of and of eq1 and eq2.
Eq
eq1
eq2
Eq<T> and(Eq<T> eq) => _Eq( (x, y) => eqv(x, y) && eq.eqv(x, y), );