succ package:Cabal-syntax

the successor of a value. For numeric types, succ adds 1.
indicates successful termination;
The computation exitSuccess is equivalent to exitWith ExitSuccess, It terminates the program successfully.