Re: [GHC] #9802: A ghci bug