let <X: Collection> openedX = x // X is now bound to the dynamic type of x let start = openedX.startIndex let first = openedX[start] // OK, indexing X with a value of type X.Index, to get a result of type X.Element