ts-toolbelt是一组让TypeScript更安全的类型。 它的目标是在为TypeScript添加一组全新功能的同时提高类型的正确性。