Question: What type of area does Nyingchi and Zhuozhou have in common?
Sentence (from "Kind (type theory)"): In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of a higher-order type operator.
Relevant evidence: No