あー、protocol側にはinitの宣言が無くて、真の型が見えてるパターンだから、そうなのかな