Algebraic Effects specifically meaningful in statically typed systems; they have nothing to do with conditions. Continuation-passing is only one component. Yo

Algebraic Effects specifically meaningful in statically typed systems; they have nothing to do with conditions. Continuation-passing is only one component. Your whole approach to commenting here is, "I think I know what AE are, and on that basis, this is stupid!" Both your premise and conclusion are false.