あでも一つまだちょっとわからないのは、 -> SomeProtocol の戻り値って存在型で合ってます？