succ package:prelude-safeenum

The successor of a value, or Nothing is there isn't one. For the numeric types in the Prelude, succ adds 1.
A variant of (>) with regards to the enumeration order.