You can represent execution order algebraically using an "Effects" data type. Nodes that would normally have control flow inputs and outputs produce a value of type "Effects" instead. You can combine effects coming from different nodes into one by using a "Sequence" node.