PrettyPrinter for Type as external function