Re: [GHC] #3458: Allocation where none should happen