うーん、 Type Erasure はワークアラウンドだし、必ずしも Existential がそれを踏襲しなければいけないわけじゃないと思うけど。

3:11 PM

any Collection<.Element == Foo, .Index == Int> とかでもいいわけだし。