Yeah that would be cool. For bounded execution, you should look at “total functional programming” (which always terminates). They have this concept of codata f

Yeah that would be cool. For bounded execution, you should look at “total functional programming” (which always terminates). They have this concept of codata for the other 1% to make practical, interactive apps - codata represents things like event streams.