そうですよね。その @ukitaka さんのやつは何度か読んだことがあって、そちらの理由としては「Existential とはそういうものだから」ってことになるんだと思うんですけど、SwiftはExistentialを言語の裏側に隠していて、まるでプロトコルが型であるかのように、メソッドを呼び出したら暗黙的にOpening existentialを行うという振る舞いをさせているわけで。それなら、さらにExistentialがプロトコルに準拠してるように振る舞わせた方がわかりやすくはなりますよね。