Re: [GHC] #14336: ghci leaks memory