Handle with care: relational interpretation of algebraic effects and handlers
Handlers in action