for f being Function holds
( curry f = curry' (~ f) & uncurry f = ~ (uncurry' f) )