Modern Haskell → C translation approaches?

Does it specifically need to be compiled to C, or would it be workable for it to be callable from C instead? The FFI can be used to make Haskell functions available to C, not only the other way around.