Supporting multi-argument pattern matching