Re: :def and ghci command output