瘋了瘋了

ordered? 用 foldR 定義之後，isort-der 到處都是一串 relation compositions，也就是有一大堆 nested existential quantifiers！現在已經瘋掉了，開始用湊的 XD。

--
又要產出一堆亂碼了 XD。