To accommodate this intuition, we propose to allow protocols to express primary associated type(s) in the same way they are declared in a generic type:

protocol Collection<Element> { associatedtype Index: Comparable ... }