Take for example head[b_[PatternSequence[_, _]]] := 9 I know this example serves no purpose as is. It also happens in useful examples such as head[b_[_, arg : PatternSequence[_, _]]] := {arg, b} The definition is made propely, but it issues the message Pattern::patvar: First element in...