Matthias Neubauer Peter Thiemann Discriminative sum types locate the source of type errors. 15-26 2003 conf/icfp/2003 ICFP http://doi.acm.org/10.1145/944705.944708 db/conf/icfp/icfp2003.html#NeubauerT03