1 related articles
A deep dive into Haskell's Kind system: the type of types, concrete types, type constructors, PolyKinds, and practical impacts on type class instances and higher-kinded programming.
