list = (λ (cons nil) (cons 1 (cons 2 (cons 3 nil))))

list = (λ (a) (a 1 (λ (b) (b 2 (λ (c) (c 3 0))))))

list = (λ (c n) (c 1 (λ (c n) (c 2 (λ (c n) (c 3 (λ (c n) n)))))))