much better Type pretty print!