[T] TypeKind

type TypeKind = Type["kind"] | "Any";