我对一方面用于协议的关联类型的语法和另一方面用于泛型类型的语法之间的区别感到困惑。

例如，在Swift中，可以使用以下方式定义通用类型

struct Stack<T> {
    var items = [T]()
    mutating func push(item: T) {
        items.append(item)
    }
    mutating func pop() -> T {
        return items.removeLast()
    }
}

而使用诸如

protocol Container {
    typealias T
    mutating func append(item: T)
    var count: Int { get }
    subscript(i: Int) -> T { get }
}

为什么后者不只是：

protocol Container<T> {
    mutating func append(item: T)
    var count: Int { get }
    subscript(i: Int) -> T { get }
}

是否有某种深层的原因（或者也许是显而易见的，对我来说就迷失了），原因是该语言未采用后一种语法？