<div dir="ltr">In the RFC, I see that indices only requires `next`. I like this scheme a lot, it&#39;s very altruistic, like in C++. Get, increment, end check - nothing more is required to work with iterators.<div>I like extracting everything optional to Collection hierarchy, and don&#39;t like adding Equatable, Comparable or Hashable constraints on iterators. If you need Hashable in a specific scope, declare it as a generic constraint.</div><div>I didnt really read the whole RFC, so I could have misunderstood something.</div></div>