Class Unfold<S,​E>