protocolの内側に型を定義する話ですか？