SomeProtocol.selfはたぶん、existentialの型になっちゃうと思うんですよ