All tagged pattern matching