Modern Haskell → C translation approaches?

What is your use case to translating to C ? LLVM is second only to GCC in the number of platforms it supports. I gather GHC already supports WASM