El sistema de kinds de Haskell: cómo clasificar los tipos cambia la forma de programar

Types of types: Haskell's Kind system

Un recorrido práctico por el sistema de kinds de Haskell, desde los valores y los tipos hasta los tipos de orden superior y los kinds personalizados. El autor lo explica a partir de su experiencia añadiendo configuración tipada a un clon de servidor Redis, y muestra cómo los kinds permiten distinguir constructores como Maybe, Maybe Int o Show, y cómo el patrón de datos de orden superior (HKD) evita duplicar tipos de registro.