Why do some types make the compiler slow, and how do you diagnose it?

Write or say your answer first, then compare it with the model answer.