Class UnfoldStep<S,​E>