I've played with the Glasgow Haskell Compiler only a bit. Compiling Haskell to, say, native code is quite a chore. The GHC compiles to a number of special intermediate languages between source and machine code.
Haskell > Core (Hindley-Milner typed lambda calculus) > STG > C/C-- > native machine code
That's a lot of work.