RE: Feature request for ghci