Re: [GHC] #2528: nub not as reliable as nubBy