Re: [GHC] #10474: Suggested options for "Use a bigger heap!" seem wrong