The pattern-matching pattern