Searching protocol for "free-monad"
Generate free monads for effectful DSLs.
Polynomial operads for compositional AI & open games.