3
3
3
10
((1, 3), 2, 4)
42
λf, (a, b). f(a)(b) : (a2 → a1 → a) → a2 × a1 → a