I thought about that sort of thing too, but eq returns equal-or-not-equal, so it could apply the same short-circuit

Simpler example: if two lists don't have the same length you know they're unequal without looking at the items. But you could early-terminate eq the same way and actually benefit both eq and ne