cast式をProtocol内部に書かなきゃいけない理由は?