Bug in sample implementation Marc Nieper-WiÃkirchen 16 Jun 2020 06:10 UTC
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