Use scala/scala-collections-laws