On Tue, Apr 14, 2015 at 11:38 AM, Michael Sloan <mgsloan@gmail.com> wrote:

data SomeException = forall e . Exception e =>
SomeExceptionWithInfo e [SomeExceptionInfo]

data SomeExceptionInfo = forall a . ExceptionInfo a =>
SomeExceptionInfo a

Is it necessary for SomeExceptionWithInfo to have a list of a forall data type?

Are Exceptions really that mysterious, or can we more concretely describe the information that should be attached to an exception?

SomeExceptionWithInfo e IsAsync CallStack ImplicitStack

I am still open to the idea of adding a forall data scratchpad, but can we at least try to specify some standard fields?

SomeExceptionWithInfo e IsAsync CallStack ImplicitStack [SomeExceptionInfo]