Re: [GHC] #13564: Why does memory usage increase so much during CoreTidy?