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.