quasiquoting for patterns