8.2.4. Disjointness of Types

No object satisfies more than one of the following predicates:

boolean?
pair?
symbol?
keyword?
quantity?
char?
string?
procedure?

These predicates define the types boolean, pair, symbol, keyword, quantity, char (or character), string, and procedure.