模式匹配中的同时约束

• simultaneous binding in pattern matching