How to Track Exception Provenance in a Lazy Language Like Haskell

There's an entire thesis on this topic, essentially. Peter Wartman around 20, what was it, 2013? And he had a really great treatment there of how do you reason about causality in a lazy language like Haskell. So to actually use that information to back out the state of the execution is quite painful in many cases. I tried with pretty good success to make GHD emit dwarf information, which dwarf is the sort of standard that is used by most unices for representing debug information. But it's not particularly well suited to the sort of code that GHC produces. It's hard to say if you have a data. vectormap of some function, you know, you have