GHC HEAD just got a new inference engine for GADTs and type families.
Details on the new solver for equality constraints and type synonym families are on the GHC wiki.
I research and teach programming languages, compilers, and their applications at the University of New South Wales (UNSW), Sydney. My main interest is in functional and parallel programming. Most of my code is in Haskell.