Hi all,

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.

Thanks,
hugo