[T] TypeKind

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