GoKawiilDeveloper explores Haskell's Kind system while adding typed config to Redis clone
A developer building typed configuration support for a Haskell clone of Redis documented how the work led them deep into Haskell's Kind system. The piece walks through the conceptual hierarchy from values to types to kinds, explaining how kinds classify types the way types classify values.