Presentation of Philip Wadler's Pretty Printer Library