```scala
Gen.listOf1
```