[Haskell-cafe] Generating Haskell with associated types (and kind annotations)

[Manuel M T Chakravarty]

Hi Dan,

> I was wondering whether anyone had any suggestions on a good way to
> generate repetitive code with associated types and kind annotations.
> I'd like to use TH but as far as I understand, it doesn't support this
> yet (I think associated types are in HEAD but not kinds),

I implemented type families (including associated types) and kinds for  
TH in the HEAD.  If there is anything missing that prevents you from  
using it, please let me know and I'll have a look at it.

Manuel