<div dir="ltr">I'm not sure if this is what you're looking for, but all this talk of bifurcation and infinite recursion suggests to me that you might be interested in Control.Monad.Free and Data.Fix. They may correspond to the concept you're getting at.<div><br></div><div>> <span style="font-size:12.800000190734863px">But could we avoid the runaway memory consumption, but have the "unfolding," the statelessness by some comp-sci sleight of hand?</span></div><div><span style="font-size:12.800000190734863px"><br></span></div><div><span style="font-size:12.800000190734863px">Garbage collection?</span></div><div><span style="font-size:12.800000190734863px"><br></span></div><div><span style="font-size:12.800000190734863px">--Will</span></div><div class="gmail_extra"><br></div></div>