| ExitException ExitCode
-- ^The 'ExitException' exception is thrown by 'System.Exit.exitWith' (and
-- 'System.Exit.exitFailure'). The 'ExitCode' argument is the value passed
| ExitException ExitCode
-- ^The 'ExitException' exception is thrown by 'System.Exit.exitWith' (and
-- 'System.Exit.exitFailure'). The 'ExitCode' argument is the value passed