a fold from arguments of a fold left
a fold which uses a Monoid to accumulate elements
a fold with just a start action
a fold for the evaluation of a State object
a fold for the execution of a State object
a fold from running a State object
a Fold which simply accumulates elements into a List