俺も Swift の protocol が高階型と違う点を自分なりに考えた時、　ジェネリックな型 F<T> を名前 X で受けた時に、 X を F と T でばらして扱えるかどうかだと思って

7:40 AM

この定義なら Wrapped<T> , Wrapped , T でバラせるから同等な能力な気がする