Page 19:
"In the apptern-matching rules given below we distinguish two kinds of
patterns: an irrefutable pattern is either of the form ^apat, a
variable, or a wildcard; all other patterns are refutable."
var@apat is irrefutable if apat is, isn't it?
Stefan Kahrs
