Ten fragment, który niestety nie zawiera odniesień, na temat rozwoju ADT w Haskell odHistoria Haskella: Bycie leniwym z klasą, sekcja 5.1:

Ogólnie, typ algebraiczny określa sumę jednej lub więcej alternatyw, gdzie każda alternatywa jest iloczynem zera lub większej liczby pól. Przydatne może być zezwolenie na sumę zerowych alternatyw, które byłyby całkowicie pustym typem, ale w tym czasie wartość takiego typu nie została doceniona.

zastanawiam się, jak przydatne byłoby takie narzędzie ADT?