@qnikst, Нашёл тут бумажку по LLVM-бэку (в разделе commentary), большинство вопросов исчезло. Главным образом: бэку всё-равно придётся разбираться с регистрами, кучей, и семантикой STG, а на сишке это — ад. ИМХО, даже если брать GENERIC-представление GCC.
А вот GIMPLE — это уже куда не шло...
Если и консультироваться, то спросить были ли такие мазох..., в смысле, пытался ли кто-то сделать GCC-бэкенд для GHC (по аналогии с LLVM-бэкендом).
Тут вопрос принципиальный: либо допилить GENERIC-представление под семантику STG и херачить генерик, либо не выпендриваться, а сразу херачить GIMPLE (с вероятностью в районе 0.99 закончить тем же как и LLVM-бэкенд, застряв на полпути).