. . "Objects of the very simple inductive types like COLOR and WEEKDAY just" . .