Handle with care: relational interpretation of algebraic effects and handlers
types , abstraction and parametric polymorphism .