"Discriminative sum types locate the source of type errors."

Matthias Neubauer, Peter Thiemann (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics