scala 2.10.3
invariant list