[cies]

> What is the relation to Haskell?

I could only think of is they are both being a "typed lambda calculus" language with an ML-syntax.