Redesign NonEmptyLazyList to be maximally lazy
#2516
| Job | Run time |
|---|---|
| 0s | |
| 4m 32s | |
| 13m 28s | |
| 3m 20s | |
| 13m 45s | |
| 23s | |
| 29m 24s | |
| 13m 10s | |
| 10m 5s | |
| 27m 53s | |
| 6m 34s | |
| 6m 5s | |
| 12m 28s | |
| 12m 24s | |
| 36m 52s | |
| 0s | |
| 3h 10m 23s |