Re: Language Extensions and TH

> Is there a TH and recent GHC's extension type-indexed families interaction
> envisaged?
> Is it feasible to think of such support?
> I am not sure wether only Haskell 98 is supported or if any language
> extension is supported.

Some extensions such as functional dependencies, existentials and
pattern guards are supported. However, I'm afraid that is not (yet)
the case for type families: See
http://hackage.haskell.org/trac/ghc/ticket/1673 for details. It would
be good if you added yourself to the CC list of the bug.

Saludos,

Fons