better treatment for tuple patterns