In the case that only one SEED is given, the sample implementations of
maybe-unfold and either-unfold assume that MAPPER applied to the SEED
returns only one value.

(This is unrelated to the other issue that SUCCESSOR mustn't be a
dummy argument.)