I wonder if http://hackage.haskell.org/trac/ghc/ticket/960 / http://hackage.haskell.org/trac/ghc/wiki/ExplicitCallStack will affect exceptions (adding information to (some of) them?) in a way that we should consider it for this round of changing exceptions (probably just affects the information in the exception hierarchy somehow).