Re: [GHC] #7831: Bad fragmentation when allocating many large objects