Thanks to both of you for your replies. This indeed seems to work well for the if/then/else construct. Still, my question is more about populating this thread with reusable examples of functions achieving common pretty-printing usage. I’m sure lots of people would be happy to see and reuse them. Fmt and CCFormat provide a combinator-like view over Format but, AFAIK, no such functions. In a past project, we used PPrint and we achieved much more easily a sensible pretty-printing for our examples (but it was a bit heavy performance-wise, hence our testing of Format). I know some argue that you can achieve the same results with Format, and I agree in principle, but in practice it’s much harder for us (said otherwise, we would love to see a PPrint-like API over Format, hiding in particular the box stuff completely (no @[ @] to write)).