From delimited continuations to algebraic effects in Haskell
blog.poisson.chat