— Although with recursive metacomposition your state information explodes
— So thankfully it offsets that
— Is metacomposition only possible with labels?
— That was the gimmick, right?
— No, you can do it with a stack too
— The stack is the standin for the real call stack
— It just happens to be iddfs, just the best way to implement traversal with metacomposition