I feel like other functional language compiler writers could target some layer of GHC / Intel HRC / FLRC compiler stack, as a target (instead of say, generating

I feel like other functional language compiler writers could target some layer of GHC / Intel HRC / FLRC compiler stack, as a target (instead of say, generating LLVM bitcode or even machine code directly). As someone interested in programming language design (and as a big believer in strong, static typing), I'll consider targeting one of the layers of this existing compiler stack, if I were to build a compiler for a new language. Also, the related paper for this project is quite interesting and insightful: http://www.leafpetersen.com/leaf/publications/hs2013/hrc-paper.pdf http://www.leafpetersen.com/leaf/publications/hs2013/hrc-pap...