I’m struggling conceptually to create an indexing function, the function should behave like the take-a-ticket paper sometimes found in public service offices, each call to `nextNatural`

should yield a monotonically increasing number

I see that the prelude has List/generate, and Natural/enumerate.

I think I ran into a corner case, where it’s just outside the “totalness” of the language, and the general algebraic nature to have stateful generator functions?

Thanks in advance. The use-case, by the way is to enumerate nodes in my graph with “stable” ints according to the order in which they are produced, I could post-process my `List Graph`

(which anyway gets folded into a `List/fold Graph g Graph foldFn emptyGraph`

and maybe enumerate the nodes here in a stable way using something like a Natural/Enumerate as I fold the `List Graph`

into a `Graph`

?

Thanks in advance, loving the metal gymnastics I’m having to learn here, it’s really rewarding.