Re: [GHC] #10812: High memory usage after performing GC (was: High memory usage)