`hotypes` is a TypeScript library that provides higher-order types for advanced type manipulation, such as transforming, extracting, and mapping object properties and array elements. It is designed for TypeScript developers who need to perform complex type operations, like flattening nested types, filtering keys by type, or creating custom type transformations. The library includes utilities for working with types, making it a valuable tool for those building type-safe applications or libraries.