I'm not sure I understand the motivation. Is this a case of "if the only tool you have is lambda calculus, everything looks like a program"? Or am I missing something?

As far as functional document formatting languages, it looks like Lout is still actively developed: https://en.m.wikipedia.org/wiki/Lout_(software)