Let's agree to be different. On empirical and deductive nature of coding

Simple solution: modify Prelude.head to send the program into an infinite regression after the message is displayed: a debugger can then be attached to the still-running program to examine its call stack.