Idiom # 186: Exit program cleanly

See programming-idioms.org:

Code

Running Example

Note that exit is an effect that can have different implementations. The default behaviour is to exit the program:

However, we might provide a different handler for this effect that continues the execution of the program: