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/03510d1bf4d73b6958655887bee6...