A similar "data structure," that made recursion easy for me, is a set that's populated by an inductive proof in math. I think it's pretty much what you're talking about.