Re: simple ghci debugger question