I don't disagree that unfold is pretty much the most general, but I don't agree at all about not returning the final state. If you care about the state, you (meaning me I guess) often care avout the final state.