Class FoldStep<S,​E>