Я вот сейчас книгу по языку "Clean" читаю.
Clean -- хаскеллоподобный язык. Почему же не сам Хаскелл?
По сравнению с хаскеллом мне клин показался каким-то заумным -- одни только списки чего стоят: ленвые с начала, ленивые с конца, энергичные с начала... тьфу!
Уникальные типы, насколько я понял, не имеют преимуществ перед монадой IO, хотя и являются по мнению некоторых людей интересной концепцией.
Кстати, последняя реализация компилятора Clean имет возможность и хаскельные программы компилировать, но что-то я так и забыл посмотреть, как там оно...