<div dir="ltr">I just came across <a href="https://ghc.haskell.org/trac/ghc/ticket/11081">https://ghc.haskell.org/trac/ghc/ticket/11081</a>, and the corresponding wiki-page: <a href="https://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Introspective">https://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Introspective</a><div><br></div><div>I think this is a terrific idea. In the past, I've tried both TH and haskell-src-exts to do relatively simple things, but ended-up abandoning them due to the inherent complexity of source level haskell that had very little to do with what I really cared about. Being able to get your hands on Core at the regular Haskell level would truly simplify life, and I suspect would open the flood-gates for a lot of people to develop extremely cool/useful artifacts, making the GHC/Haskell experience even better.</div><div><br></div><div>I hope this idea is taken further and sees the light-of-day.</div><div><br></div><div>Richard: Did you have any further thoughts about possible plans?</div><div><br></div><div>-Levent.</div></div>