Re: [GHC] #10825: Poor performance of optimized code.