Naming a variable IGNORE is not a general solution: how do I ignore multiple arguments? Writing IGNORE multiple times would probably give me complaints about using a variable name twice in the lambda list.