Modern Haskell → C translation approaches?

Thanks for the clarification, that makes sense. To clarify my goal: I am not using obfuscation for security or reverse engineering purposes. Instead, I use it as a way to generate multiple structurally different program variants that still implement the same original algorithm. Starting from Haskell, the idea is to obtain different semantically equivalent implementations, and then generate different data-dependency graphs from these variants after lowering through LLVM IR. The objective is simply to increase the diversity of data-dependency graphs corresponding to the same algorithm, not to analyze obfuscation or reverse engineering. I do understand that going through C introduces a lot of complexity and may heavily distort the structure, especially given how Haskell is compiled.