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.

Haskell combines the flexibility of Laziness with the correctness of type strictness, it is probably the best way to go.  And Monads are an awesome you can create pure computations from an impure program.

Type classes, type constructors, point-free curried functions, laziness, IO, algebraic data types.  Haskell is cutting-edge, and faster than the JVM!