Repository : http://darcs.haskell.org/ghc.git/ Branch 'data-proxy' now includes: 365b9d8 Implement "TypeLevelReasoning" proposal at wiki:TypeLevelReasoning 5b8c2b9 Merge branch 'master' into data-proxy