Safe, extensible interrupts/syscalls, a.k.a. Algebraic Effects
medium.com