ad

リー環とかで出てくる ad

これって要するに Curry化。

いや、しかし、もしも Curry化されたものが初めからならば、これに名前はつかなかっただろう。
名前をつけるということは、名前をつけなくては認識できなかったからと同時に名前をつけなくては認識できないほどしにくいものであったことをしめしているように思える。

mapsto がでないのなんとかしてよ。