理想はプロトコルじゃなくて各caseごとに任意の具体型が直接とりだせたらいいなあ