t
The set of all objects. The type t is a supertype of every type, including itself. Every object is of type t.