maxsharing-1.0.2: examples/sum1234.l

let
	Cons x xs = λcons nil. cons x xs
	Nil = λcons nil. nil
	sum list = list (λx xs . (λx y . + x y) x (sum xs)) 0
in sum (Cons 1 (Cons 2 (Cons 3 Nil)))