The Final Pretty Printer This is a pretty printer that supports extensibility through monad transformers, proportional-width fonts, and semantic annotations. See our draft paper for more information.