In reply to Simon Marlow, > - introduce a new exception constructor: > ExitException ExitCode > > - System.exitWith causes (ExitException code) to be > raised in the current thread. Not entirely relevant, in fact, barely at all but what are the odds of user extensible Exceptions (like ML) coming into GHC and having a proper hierarchy of exceptions integrated in the libraries?