↑のようなコードを考えたら T が P でも動かないといけないわけで

7:54 AM

選択肢は open してから渡すか

7:54 AM

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

7:54 AM

どっちかかなぁと思って、後者をイメージしてた。けど前者の方が素直かも。