Papers about type inference for GADTs

See also papers about type families and about type inference with constraints.
Simon Peyton Jones, simonpj@microsoft.com