> Since RangeExpression is a protocol compatible with any index type, it has to have an associated type I haven't read all linked information, but would the situation change with generic protocols? Thinks like "AnyGenerator" afaics would be superfluous if we had "protocol Generator<Type>", and the same might be true for RangeExpression.