Re: [GHC] #13034: clean memory in GHCi