Wadler/Leijen Pretty Printer, with annotation support
