... vs. types Philosophers sometimes distinguish classes from types and kinds[?]. We can talk about the class of ...