Define algebraic effects and handlers