Redesign NonEmptyLazyList to be maximally lazy
#2488
| Job | Run time |
|---|---|
| 0s | |
| 3m 21s | |
| 4m 47s | |
| 4m 49s | |
| 4m 47s | |
| 4m 47s | |
| 4m 47s | |
| 4m 48s | |
| 4m 47s | |
| 4m 48s | |
| 4m 46s | |
| 4m 46s | |
| 4m 45s | |
| 1m 31s | |
| 18s | |
| 1s | |
| 57m 48s |