Why does Backtrace.Exn not work very well with monadic let bindings?

Not sure it applies to you because I’m not sure what raising/catching you are doing, but in Lwt we improved the backtraces as describe in this other thread.