Re: [GHC] #10898: GHCI crash