Worth nothing that they managed to extend the effect handling system to safely handle first-order functions (by boxing them in thunk with explicit capability cl

Worth nothing that they managed to extend the effect handling system to safely handle first-order functions (by boxing them in thunk with explicit capability closing) https://github.com/se-tuebingen/oopsla-2022-artifact/blob/main/oopsla22-paper53.pdf https://github.com/se-tuebingen/oopsla-2022-artifact/blob/ma... I have been taking a lot of inspiration from Effekt for a toy language i am slowly building.