Monadic programming is a popular way to embed effectful computations in purely functional
languages. In particular, the so-called free-monad comes with the promise of extensibility …