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