Is there a reverse #succ for String? If not, could there be?

T.