The Exit mechanism is not compositional and thus should not be used in larger long-running programs. However, in small command-line utilities and especially for signaling errors in command-line arguments it is acceptable.

The IO instance is useful for GetOpt and immediate exit. The Either instance is useful for eitherReader.