maxsharing-1.0.3: examples/sum.l

let
	sum list = case list of
		Nil -> 0
		Cons z zs -> (\x.λy -> + x y) z (sum zs)
in sum (Cons 1 (Cons 2 Nil))