Abstractions over deferred folds
