pretty printers for Typed are implemented as traits