Who Cites uncurry?
uncurry	Def uncurry f(x) == x/l,r. f(l,r)
	Thm* T:Type{i}, U:Type{j}, V:Type{k}, f:(TUV). uncurry f TUV

Syntax:

uncurry f

has structure:

uncurry(f)

About: