Nicer pretty printing for tuple kinds