Generalized existentials↓を導入する方向性よりも、プロトコル型変数を禁止する方向性の方が、言語がシンプルになってうまくいくような気がしてる。さすがにサブタイピングなくなりすぎできついかな・・・。 https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#generalized-existentials

swift - The Swift Programming Language