Avatar
実行モデルはあくまで内部的なものだから
10:13 AM
それに対応したことができないといけないわけではないんじゃない?
10:14 AM
特殊化されないときの三組を明示的に作れないのと同じように。
10:14 AM
(それができるなら generalized existential みたいなこともできるはず)