それは、protocol型引数を暗黙的にGenerics化できるということ、そして上の議論