Element: P0 が Array<P0> として扱えないのはまあわかるんですが、逆方向の Array<P0> が Element : P0 として扱えても良いと思う

4:20 AM

concrete typeとして使う時のprotocolって、ようはコンパイラが自動生成した AnyP0 と同じ機能をもつと思うので。