I didn't know there was a name for this concept in general. This is exactly how I think about writing code in functional programming languages. And as far as I

I didn't know there was a name for this concept in general. This is exactly how I think about writing code in functional programming languages. And as far as I can tell, algebraic effects are an extreme case of this, where your program is essentially a big graph of decision points in response to as-yet-unseen inputs.