exitSuccess package:Agda

The computation exitSuccess is equivalent to exitWith ExitSuccess, It terminates the program successfully.