Re: ghci verbosity