It would be great to have support for exception annotations as in https://well-typed.com/blog/2025/09/better-haskell-stack-traces/