Looks really cool! Since I'm just (as a "hobby") starting with Haskell, it looked pretty familiar. (I have no previous experience with ML and Scheme, which is also frequently mentioned as an influence).
At the risk of appearing too lazy to first read everything about it before asking this question (maybe the appearance is true ;):
what are, in a nutshell, the advantages over Haskell and main differences in terms of "not re-inventing the wheel"?