Update an example on the ghci debugger section