e/Kind (type theory)

Information
has gloss	eng: 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. A kind system is essentially a simply typed lambda calculus "one level up", endowed with only one primitive type, denoted *, and called "type", which is the kind of any (monomorphic) data type.
lexicalization	eng: kind
instance of	c/Data types