Avatar
あ、そういうことか。 generalized existential ですべての assoctype を縛らないといけないのかと思ったら。
1:38 AM
これが今までできなかったのって実装上の問題なんでしたっけ?何か意味があるんですっけ?