[ForFunction "fold"]