Re: [GHC] #10858: Smaller generated Ord instances