2. U: Type{j}
3. V: Type{k}
4. f: T
U
V
f = (
x.x/l,r. (x,y. f( < x,y > ))(l,r))
T:Type{i}, U:Type{j}, V:Type{k}, f:(TUV). f = uncurry curry f
| 1 | 1. T: Type{i} 2. U: Type{j} 3. V: Type{k} 4. f: T UV f = (x.x/l,r. (x,y. f( < x,y > ))(l,r)) |
About:
 |  |  |  |  |  |  |  |  |