When you use alternatives in patterns, you should make sure that the same set of names appear in each alternative. When a pattern like

matches an expression, there will always be a definite expression that corresponds to the object

. If you try to match a pattern like

, then there still will be definite expressions corresponding to

and

, but the unmatched one will be
Sequence
.