Descrição
Fornece classes e estruturas de dados para trabalhar com tipos Haskell indexados por data kinds. Isso ajuda código avançado a carregar mais informações no sistema de tipos e manter valores relacionados ligados a esses índices em nível de tipos.
É útil para bibliotecas voltadas a verificação, APIs fortemente tipadas, ferramentas simbólicas e projetos que dependem de DataKinds. É uma biblioteca avançada para desenvolvedores e não possui interface independente.