Fixed interface of succ iterators