Definitely Haskell. There are so many dynamically typed impure functional languages these days, and Lisp is not some great learning experience. Haskell is (if you take it to a sufficient degree of crazy).