Descrição
Fornece suporte de compatibilidade para Data.Type.Equality em Haskell. Ferramentas de igualdade de tipos permitem que o código expresse e use evidências de que dois tipos são iguais.
É útil para bibliotecas que suportam várias versões do compilador enquanto usam programação avançada no nível de tipos. É uma dependência de desenvolvimento em tempo de compilação e normalmente aparece indiretamente por outros pacotes Haskell.