[cultus]

Algebraic effects can do all of that and more. They're all checked, because you must provide handlers for effects you include.

[rixed]

The tutorial sited in that thread [0] explicitly says the opposite though.

[0] https://github.com/ocamllabs/ocaml-effects-tutorial/blob/mas...