I would like very much if the next interpreter could arrange to have () in a lambda-variable list mean "ignore this arg". I believe a simple patch to bind (and specbind) would do it. Probably some current "error" checking would be omitted.