What Is The Type Of Type?