generalized lots of Fold combinators