Ben Gamari

While anything is possible, I don't see how these declarations are particularly useful for metaprogramming. Naturally, I may be missing something; perhaps you could clarify what use-case you had in...

@hasufell ping.

I would like to bring this to a vote.

@parsonsmatt, I'm a bit unclear on what concretely you are concerned about. Are you worried that there might be exceptions (and therefore `ExceptionContext`s) buried in annotations *other* than `WhileHandling`? If...

@parsonsmatt perhaps it alleviate your concern if we introduced another method to `Exception`: ```haskell class Exception a where nestedExceptions :: a -> [SomeException] nestedExceptions _ = [] ``` This would...

> Does `nestedExceptions` even need to be a class method? Isn't it enough to just go through the `WhileHandling`s? I think @parsonsmatt's concern applies to a fairly broad spectrum of...

At the moment I am leaning towards addressing @parsonsmatt's concern with the following additions: ```haskell class ExceptionAnnotation a where ... -- | Extract any exceptions nested within an annotation. exceptionAnnotationNestedExceptions...

I have opened https://github.com/haskell/core-libraries-committee/issues/250 with the above proposal.

> Is your objection that `nestedAnnotations` is too generic, and so we don't have a single notion of "cause" like Java exceptions do which we can lean on to get...

> Folks, what's the conclusion on this? Shall we wait until GHC 9.10 is out and battle-tested for a while before continuing the discussion? If that's the sentiment, I'll close...