Legend:

* Pedro and Richard were working on tidying up the poly-kinded Typable, and propositional equality (`gcast` and friends) story. See #8132.

29

27

30

28

* Geoff Mainland is working on a better Template Haskell implementation (http://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/BlogPostChanges, http://gmainland.blogspot.co.uk/2013/05/type-safe-runtime-code-generation-with.html), in the `th-new` branch of various repos. ETA: September 13.