simple ghci debugger question