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.

complex piece of technology
Doesn't understand it, says it sucks.

It is a much better language than haskell for sure, because there are millions of websites made in PHP and 5 in haskell
https://en.wikipedia.org/wiki/Argumentum_ad_populum

Do you understand that?