Algebraic Effects and Effect Handlers for Idioms and Arrows

Plotkin and Power’s algebraic effects combined with Plotkin and Pretnar’s effect handlers provide a foundation for modular pro-gramming with effects. We present a generalisation of algebraic effects and effect handlers to support other kinds of effectful com-putations corresponding to McBride and Paterson’s idioms and Hughes ’ arrows