This exception can be used to skip an element of a list being processed with rev_map, map, fold_left, and fold_right.
rev_map
map
fold_left
fold_right