Catch as an algebraic effect - Haskell

In this paper by Wu et al. https://www.fceia.unr.edu.ar/~mauro/pubs/haskell2019.pdf they show how to encode callcc using (first-order) algebraic effects.

1. Is there any catch to that encoding? (is there anything you can do with "mtl"-style callcc you can't do with that encoding?) (pun not intended!)
2. Is a similar first-order encoding possible for catch?

@Lysxia Nicolas Wu is on Slack under the handle @zenzike

(I don't know the answer to your question :) )

good idea :)

good idea :)

if he responds could you copy the response here? thanks :)