Hi all,<div><br class="webkit-block-placeholder"></div><div>Is there a TH and recent GHC's extension type-indexed families interaction envisaged?</div><div>Is it feasible to think of such support?</div><div>I am not sure wether only Haskell 98 is supported or if any language extension is supported.</div>
<div><br class="webkit-block-placeholder"></div><div>Thanks,</div><div>hugo</div><div><br></div>