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.

Which recursion scheme guarantees tail-recursion?

`cata` with a cps'd argument