Descrição
Fornece tipos singleton e definições básicas para Haskell. Singletons conectam valores em nível de tipos a testemunhas em nível de termos, permitindo que programas levem informação de compilação para o código em execução.
É útil para programação em estilo dependente, APIs seguras por tipos, bibliotecas genéricas e validação em tempo de compilação. É uma biblioteca avançada para desenvolvedores e exige forte entendimento do sistema de tipos de Haskell.