Safe, extensible interrupts/syscalls, a.k.a. Algebraic Effects | Dark Hacker News