deferred-folds-0.9.17: Abstractions over deferred folds