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