Existential でも普通のインスタンスのように振る舞わせる何かが間に挟まるか

もしこの場合は、外側から見て区別がつかないので、入れ子になってしまいそう。