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
.