I hate to say this, but this is straight up rediscovering monads. They have a notion of phases of execution which are different execution contexts with an orde

I hate to say this, but this is straight up rediscovering monads. They have a notion of phases of execution which are different execution contexts with an ordering. And yes most languages don’t have a decent facility for expressing this or staged computation. Let alone a notion of computation phases that map to distributed systems state.