Currently there isn’t a way to do right folds in `for`. Can we think of a way to add this capability?