RE: ghci verbosity