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

Manuel M T Chakravarty chak at cse.unsw.edu.au
Fri May 8 22:20:24 EDT 2009

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.


More information about the Haskell-Cafe mailing list