I wonder what programming language is not a mess?
Either because they are new, because nobody use them, or because they are LISP.
I really don't like how no lisper thinks it's a good idea to improve LISP, but it's this way.
Joking aside, Haskell is pretty pleasant to program in most of the time.
Haskell is pretty good at a lot of things, so don't misunderstand me, Haskell it's really good! But, at the same time, it still has lots of room for improvement. I guess perfection doesn't exist.
I think something like http://lambda-the-ultimate.org/node/1446 could be the way forward. (And would be achievable from Haskell with enough work.)