Concurrent [[wikipedia:Concurrent Clean|Clean]] was the first functional language that I learned. I wrote a master thesis about extending [[Clean]], but then I started to work on [[NetBeans]] and had to switch to [[Java]].

In contrast to [[Haskell]] it comes with ''unique types'' which are useful primitives for writing monad libraries.