Descrição
Uma biblioteca Haskell para tratar famílias de tipos como entidades de primeira classe. Apoia programação avançada em nível de tipos onde funções de tipo precisam ser passadas, compostas ou abstraídas.
Desenvolvedores a usam em bibliotecas genéricas e APIs fortemente tipadas. Isso melhora a expressividade, mas os erros de tipo resultantes podem ser complexos, então APIs públicas devem ser documentadas com cuidado.