Types of types: Haskell's Kind system
Summary
The article explains Haskell's Kind system, higher-kinded types, and higher-kinded data, with practical examples such as Wrap and RedisConfigF. It demonstrates how HKTs enable a single, type-safe approach to configuration data and type-level metadata via DataKinds and a custom Kind ConfigField. The piece combines conceptual explanations with code samples and real-world Redis-Haskell integration notes.