For something going beyond (but including) Haskell, see Curry [1]. Curry marries functional and logic programming, and compiles down to Haskell in recent versions.

[1] http://en.wikipedia.org/wiki/Curry_(programming_language)