@type-plus/kind

TypeScript Kind-Level Programming implementation