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

https://medium.com/@arsdragonfly/safe-extensible-interrupts-syscalls-a-k-a-algebraic-effects-dbcbb1242ba1