See through more exception wrappers

[parsonsmatt]

Our Honeycomb query for exception types is a bit disappointing - the most common exception we deal with is AnnotatedException SomeException, seconded by SomeAsyncException. As a result, we don't get a lot of benefit from the exception type.

It'd be good to "dig through" the exception types and collect extra information on them. For example, instead of doing a mere SomeException inner, we can do something like:

case someException of
  SomeException inner 
    | Just (SomeAsyncException inner') <- cast inner
    -> -- now we can report a more interesting type

But there are a bunch of library defined wrappers, like unliftio's {As,S}yncExceptionWrapper, and AnnotatedException, and I'm sure more that we're not considering. So it may be good to consider a means of providing "unwrappers" that can dig through and add interesting stuff to an exception's type.

[iand675]

I love this idea. Let's make it happen.

[iand675]

I think the best place to support this would be in TracerProviderOptions, maybe something like:

data TracerProviderOptions = TracerProviderOptions
  { ...
  , traceProviderOptionsExceptionProcessors :: SomeException -> Maybe [(Text, Attribute)]`
  }

And then in recordException we'd use that option.