A **Fold1** datatype that consumes