module
export curry, uncurry, uc, uu;

    curry   f  x y  = f(x,y)  --   curry : (((*a # *b)->*c)->(*a->(*b->*c)))
and uncurry f (x,y) = f x y   -- uncurry : ((*a->(*b->*c))->((*a # *b)->*c))

-- and cc = curry   curry     -- type error
-- and cu = curry   uncurry   -- type error
and uc = uncurry curry
and uu = uncurry uncurry

end

--\fB Curry and uncurry. \fP