Report question

Question: What is a principal type?