simultaneous binding in pattern matching

• 模式匹配中的同时约束