succ package:universum

the successor of a value. For numeric types, succ adds 1.
Lifted version of exitSuccess.