(λ "x y z".