A Kind is not really a kind: it's a term (e.g. a particular type, a particular lifetime or a particular value). However, "Term" is overloaded as terms are usually values of particular types (which is just one case here). KindedTerm has been suggested.
A
Kindis not really a kind: it's a term (e.g. a particular type, a particular lifetime or a particular value). However, "Term" is overloaded as terms are usually values of particular types (which is just one case here).KindedTermhas been suggested.