型宣言と付属型の仕組み

CollectionTypeプロトコルのリファレンスを見てみると、

次のように、宣言されています。
subscript(: Self.Index) -> Self.Base.Generator.Element
subscript(: Self.Index) -> Self.Generator.Element

Selfは、CollectionTypeプロトコルが具体的に使用される型となる理解しています。

ただ次の型の意味が理解できません。
Self.Base.Generator.Element
Self.Generator.Element

の違い・意味分かりません。特に「Base」がわかりません。