Indexの型でRangeの条件付き系になるのか