Re: [GHC] #4463: CORE notes break optimisation