Možná bych dodal, že ML jazyky* provádí curryfikaci automaticky. Je to vidět na odvozeném typu funkce. V Pythonu to nejde, protože bude hlásit neplatný počet parametrů, takže je nutnej partial.
* teď nedám z hlavy, jak to dělají LISPy, ale třeba Clojure to taky umí jen přes partial.