これは、あるプロトコルPに適合する型Tが、その適合の過程においてTにおいて関係する型Uを持つことをPの定義として宣言できるというもので

3:35 PM

プロトコルPそれ自体がパラメータをもっているわけではないんですね