@norio_nomura

呼ぶ側／呼ばれる側のどちらが取り出すか、の違いではない？

そうなんですが、呼ぶ側は通常 existential 型で値を持っているわけではないので、generic の場合 existential 型を生成する必要がない場合がほとんどだと思うのです。