"Simple unification-based type inference for GADTs."

Simon L. Peyton Jones et al. (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics