Ensuring instances which don't satisfy DEq, also don't satisfy DOrd