Redesign `NonEmptyLazyList` to be maximally lazy#4504

Open

NthPortal wants to merge 12 commits intotypelevel:mainfrom NthPortal:nell-laziness-fixes/PR

+174-34

Commits on Sep 9, 2023

Commits on Sep 10, 2023

fixup! fixup! fixup! fixup! Stop old #:: from being called
NthPortal
committed

Commits on Sep 18, 2023

fixup! fixup! fixup! fixup! fixup! Stop old #:: from being called
NthPortal
committed
fixup! fixup! fixup! fixup! fixup! fixup! Stop old #:: from being called
NthPortal
committed