あ、そういうことか。 generalized existential ですべての assoctype を縛らないといけないのかと思ったら。

1:38 AM

これが今までできなかったのって実装上の問題なんでしたっけ？何か意味があるんですっけ？