Which is best/recommend functional lang?

Coq > Agda > Clean > Haskell > Ocaml > ATS > Epigram?

What is your opinion?

Mines:
Coq has all trades, and a fair repository to start real programs with.
Agda is what Haskell needs, and Clean just does it, but both do not have a repository.
Ocaml just has a great repository. And ATS has imperative syntax included.

If you have other recommendations, please do tell. I guess I am asking which is the most versatile language of these all. Leaning towards Haskell, and when Coq is ready. Unless Common Lisp is the answer to all.

>>30
The back end of the compiler transforms Core code into an internal representation of C--, via an intermediate language STG (short for "Spineless Tagless G-machine").[7] The C-- code can then take one of three routes: it is either printed as C code for compilation with GCC, converted directly into native machine code (the traditional "code generation" phase), or converted to LLVM virtual machine code for compilation with LLVM. In all three cases, the resultant native code is finally linked against the GHC runtime system to produce an executable.

Are you really that stupid to assume that all languages boil down to C?