Re: [GHC] #4019: deriving Ord can produce incorrect and inefficient instances