>> In this design, I think Range<Index> is replaced by Interval: IntervalType where Interval.Bound == Index. > > Not all Index types are Comparable (just like not all Comparable or Strideable types are ForwardIndex types). You’re right. Hmm, that is a pickle. -- Brent Royal-Gordon Architechies