Initial all(xs) generalization. Still need to write tests to make "xs, xs" fail in
Matchers.scala.