ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Bidirectional effects are a variation of algebraic effects and handlers that can express non-trivial communication between an operation call and its handler. We develop a monadic semantics of bidirectional effects under the slogan a free recursive monad is a free monad over recursive types. We illustrate our idea through a simple example and discuss directions for future work.