lval_cons s -> xs for clarity