Re: [GHC] #10812: High memory usage