바로 llvm으로 번역 못하는 걸로 알고있음
실제로 하스켈 컴파일러 백엔드가 System-F를 G-machine 코드로 바꾸고 그걸 C-- 코드로 바꿈

- dc official App