что такое curry и uncurry в функциях высокого порядка в ML

fun curry f x y = f (x, y); 
fun uncurry f (x, y) = f x y; 
fun compose (f, g) x = f (g x);

Я понимаю функцию compose, но не совсем понимаю curry и uncurry в ML. Может ли кто-нибудь объяснить это?

Кроме того, что означают следующие две строки?

(1) compose (compose, uncurry compose)
(2) compose (uncurry compose, compose)