[*] IntervalSortedSet