Yes, algebraising your control flow to become independent of implementation details like that is a possibility. Of course, you need a language that makes that a

Yes, algebraising your control flow to become independent of implementation details like that is a possibility. Of course, you need a language that makes that a) easy, b) performant.