tuple destructuring in match