The universal type

CL-USER> (setf universe (find-class 't))
#<BUILT-IN-CLASS T>
CL-USER> (typep universe universe)
T
Advertisements