Re: [GHC] #9279: Optimisation bug