Update PrettyPrinter.hs