alias for a Fold exposing it state type
A Fold is a "left fold" over a data structure with:
A Fold is a "left fold" over a data structure with:
Both 'start' and 'end' have an effect which allows the whole folding to take place inside a context.
alias for a non-effectful Fold
alias for a non-effectful Fold where the state type is U
Typeclass instances and creation methods for folds
alias for a Fold sinking its last value