Type (/type/type)

the type of which all other types are instances.