Descrição
Orienta a inferência de tipos de Haskell usando valores proxy. Valores proxy carregam informação de tipo sem carregar dados reais importantes em tempo de execução, ajudando o compilador a escolher o tipo pretendido.
É útil para APIs no nível de tipos, programação genérica, funções sobrecarregadas e bibliotecas em que um tipo precisa ser selecionado explicitamente. É uma ferramenta para desenvolvedores tornarem assinaturas avançadas mais fáceis de usar.