Haskell is temporarily the extreme. There are other languages hovering around this same fringe such as Clean, and others which may well be beyond it like Cayenn

Haskell is temporarily the extreme. There are other languages hovering around this same fringe such as Clean, and others which may well be beyond it like Cayenne. Instead of Cayenne I think the action in languages with dependent types is greater in Agda and maybe Epigram at the moment. I see much more happening with Haskell than with Clean right now, but maybe I need to get out (or stay in) more.