それが可能になるためには、全てのprotocol型変数が言語機能によって、型消し相当の具体型に昇華してないといけない

1:50 AM

でもそれが可能なら、全てのprotocol型をGenerics扱いに出来そうだ