How to implement stack safe operations on an immutable tree-like structure?

Question

I have an immutable tree-like structure of type:

type Data = Empty | Node | Both

type Empty = { tag: Tag.Empty };
type Node