This approach also extends to embedding languages with different disciplines in a faithful way. With Haskell's rich system you can embed a concatenative, effect

This approach also extends to embedding languages with different disciplines in a faithful way. With Haskell's rich system you can embed a concatenative, effectful DSL using regular functions[0]. [0] https://gist.github.com/siraben/03510d1bf4d73b6958655887bee69bfe https://gist.github.com/siraben/03510d1bf4d73b6958655887bee6...