> Read instances for record types accept the fields > only in declaration order[1], order is also important for semantics of deriving Ord, and for cost (or strictness) of deriving Eq. So, re-ordering would be confusing. - J.W.