matches if all of the subpatterns match. This pattern is often used as to bind x to to the entire value that matches pat (cf. ``as-patterns'' in ML or Haskell).