A bit more abstract prettyprinter. Explicit exports.