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.

http://www.cleanlanguage.co.uk/articles/articles/177/2/Gallery-Tour/Page2.html

On the surface Clean Language is a set of questions developed by therapist David Grove in the 1980s and 1990s; and it has many hidden depths.

Clean Language is ‘clean’ because it keeps the facilitator from unwittingly introducing their metaphors, assumptions or suggestions into a conversation (no matter how well meaning these may be). Clean questions encourage metaphors, ideas, self-reflections and ah-ha’s to crystallise in awareness. When personal change is the goal, Clean Language invites a client's perceptions to evolve and change organically — one question at a time.

Let me be clear, ‘clean’ does not mean ‘no influence’.  All language influences and Clean Language wouldn’t be much use if it didn’t have an effect. Because of its ability to respectfully invite clients to attend to particular aspects of their inner world, Clean Language influences the direction of a client’s mind-body-spirit process – without contaminating the content of their experience. Other processes may do this too, but none do it so cleanly or in quite the way that Clean Language does, and none are so tailored to work with metaphor.