I find this approach weirdly frustrating, despite finding it compelling, and I don't know if I can make the cause for that explicit... I guess I worry that we don't conceive of algorithms this way, we just express them this way to illustrate them. I see the value in the illustration, but I want it built for me from some other source. Otherwise I have to build my algorithm twice, and this way feels harder.