I'm preparing my slides for my upcoming talk on Fall-from-Grace and I spent a lot of time on just this one slide where I introduce the idea of "content-oriented" programming languages.
This is something I've been struggling to articulate for a while, but I think this explanation captures the idea best. I'm trying to explain what distinguishes a content-oriented language like Dhall/Nix/Fall-from-Grace from a "merely" purely functional language like Haskell. For example, in Haskell you mix content and presentation because you specify what to do with values (e.g. print them, save them to a file, store them in a database), but in a content-oriented language you don't specify what to do with values; the responsibility for what to do with them is delegated to something else.
One example of this is the Grace browser where the content is a pure Grace expression with no presentation logic, and the Grace browser provides the presentation half: it converts the pure Grace expression to an equivalent web form.