trait
TypeType
extends
Type
A marker trait for types that apply only to type symbols