We describe how an extra host language feature—namely variadic, “rest argument” functions—permit the shallow embedding of a more powerful but still ergonomic kernel language. We implement disjunction and conjunction functions that preserve search order and that do not create superfluous closures. The result is a shorter and simpler overall implementation that is more elegant.