Descrição
Define um tipo de dado logicamente inabitado compatível com Haskell 98. Um tipo inabitado representa um valor que não deveria existir, algo útil para casos impossíveis e desenho no nível de tipos.
É útil para programação genérica, APIs com ramos impossíveis, código de compatibilidade e bibliotecas que precisam de um tipo parecido com Void em bases antigas da linguagem. É uma pequena dependência fundamental para desenvolvedores.