Re: [GHC] #12000: static pointer in ghci