On: Koka: Strongly typed functional-style language with effect types and handlers

[nerdponx]

You mean a situation where the effect handler for effect A invokes effect B? I wonder if the compiler is able to detect and prevent "circular" event invocations.