According to Gödel's incompleteness theorems, there never exists a complete set of types of people, because there’s always one more type — people writing about those types.