let succ g v = fold_succ (fun n l -> n :: l) g v []