I think you could get 99% of the value of an overlay as a simple fold or map over the result. Introducing the second argument feels very much like a workaround

I think you could get 99% of the value of an overlay as a simple fold or map over the result. Introducing the second argument feels very much like a workaround to allow you to avoid the infinite loop.