Handle with care: relational interpretation of algebraic effects and handlers
The category theoretic understanding of universal algebra: Lawvere theories and monads