実行モデルはあくまで内部的なものだから

10:13 AM

それに対応したことができないといけないわけではないんじゃない？

10:14 AM

特殊化されないときの三組を明示的に作れないのと同じように。

10:14 AM

（それができるなら generalized existential みたいなこともできるはず）