Re: [GHC] #7253: Top-level bindings in ghci