---
source: tests/golden_tests.rs
input_file: tests/golden_tests/desugar_file/combinators.bend
---
(foo) = λa λ* λ* (foo a)

(bar) = λa λb (a bar b)

(List/ignore) = λa λ* (a List/ignore__C1)

(baz) = {0 1 2 3 λa a foo}

(qux) = {0 qux}

(clax) = (λa a clax__C0)

(tup) = (tup, 1, 0)

(list) = (List/Cons 0 list__C0)

(A) = λa (A__C0 a)

(B) = λa (B__C0 a)

(Main) = (List/Cons 0 (List/Cons list List/Nil))

(List/Nil) = λa (a List/Nil/tag)

(List/Cons) = λa λb λc (c List/Cons/tag a b)

(List/Nil/tag) = 0

(List/Cons/tag) = 1

(A__C0) = let {a b} = A; λc (a b c)

(B__C0) = let (a, b) = B; λc (a b c)

(List/ignore__C0) = λ* λ* λa (List/ignore a List/ignore)

(List/ignore__C1) = λa switch a { 0: 0; _: List/ignore__C0; }

(clax__C0) = λ* λ* λ* λa (clax a)

(list__C0) = (List/Cons list List/Nil)