Redesign NonEmptyLazyList to be maximally lazy
#2478
| Job | Run time |
|---|---|
| 23s | |
| 0s | |
| 8m 42s | |
| 8m 41s | |
| 8m 42s | |
| 8m 42s | |
| 8m 42s | |
| 8m 43s | |
| 6m 48s | |
| 6m 34s | |
| 8m 35s | |
| 8m 41s | |
| 8m 44s | |
| 1m 17s | |
| 3m 14s | |
| 1s | |
| 1h 36m 29s |