disco-0.1.6: test/syntax-lambda-pat/expected

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