On 10/23/2015 06:07 PM, Charles Durham wrote: > I can think of a few properties that folds can honor: > > 1. Promises to call f on all data (does not have any guarantees on order) "Exhaustive"? ... but then that's not really observable in a language like Haskell, except if you monitor CPU heat. Regards,