pretty printing type results