Checked duplicate type parameters.

Classified type cases.