eqv must respect laziness