ExistentialにExistentialが埋め込まれるパターンってできるんですかね？Existentialとしては見せてないから裏側で埋め込まずにうまくできそうな気もしますが。あくまで気がするだけでよくわかってません。