> Example 2.3 in the paper states that IO is an algebraic effect Oh, I meant what Haskell calls `IO`, which includes the ability to launch threads, use delimit

> Example 2.3 in the paper states that IO is an algebraic effect Oh, I meant what Haskell calls `IO`, which includes the ability to launch threads, use delimited continuation primops, abort the program, communicate with the FFI, and all sorts of other things that I would guess don't have an algebraic presentation.