Add lazy version of xs -- ys that evaluates ys only if xs is not empty