paradigm/tagless-final-algebras
It is a way to expand code with operations (i.e.paradigm/algebraic-effects-handler ) into an AST having these operations ah abstract nodes, and then executing this AST from an interpreter that gives semantic to the node with operations.
It is an alternative toparadigm/algebraic-effects-handler approach.