i can understand the fact that

loop_fn

removes concurrency though... it basically introduces synchronization points at every level in the graph