The Wadler/Leijen Pretty Printer for colored ANSI terminal output