I usually use `trace` like so: f _ _ _ | trace "print something profound" False = undefined f normal arguments here = ... That way the trace output wi

I usually use `trace` like so: f _ _ _ | trace "print something profound" False = undefined f normal arguments here = ... That way the trace output will be printed whenever the function is evaluated, which typically mimics a lexical call stack unless you use laziness in some particularly interesting way.