a more elegant impl of mkOrdred exploiting the fact Value Constroctors a...