Trace of call stack in haskell with variables

Question

Is there anyway to trace haskell execution step by step? I mean i wanna see every call of function with variable values. Something smilar to prolog trace/guitrace.

Answer 1

The closest I know of today is HTrace which uses indentation to denote call-depth. It's still a far cry away from what you're looking for, but it can be very useful for checking intuition.