Re: [GHC] #10888: ghci crashes