I think that the word "effects" might be too wide a term even in the domain of programming languages. There are languages with (side-)effect annotations that h

I think that the word "effects" might be too wide a term even in the domain of programming languages. There are languages with (side-)effect annotations that have no continuation-like constructs whatsoever.