maxsharing-1.0.2: examples/lamping_p20r_qq_simpl.l

let
	s = λd. let t = λe. d e
		in t (λco. λnst. co) (t (λk. λl. l))
in s (λc. s (λx. x)) 2 3