Poly-morphic effect handlers

In many programming languages, developers can use effects in the process of computing a result. For example, a program may use an effect to output information beyond its returned result.


This is a companion discussion topic for the original entry at https://topos.site/blog/2024-01-03-algebraic-effect-handlers/