kind

type of types in a type system

Катэгорыі: