It's completely different except for syntax. Unison does not have monads, it has an effect system they call "abilities", which is quite innovative. Unison code

It's completely different except for syntax. Unison does not have monads, it has an effect system they call "abilities", which is quite innovative. Unison code is not stored in "textual" format, but directly in its AST form where everything has a content hash-address which is used to reference things everywhere. That's why they can take any function and send it for execution elsewhere in the cloud or whatever. It's also why there's no build system, and no dependency version conflict. In summary, it's completely different than Haskell and most other languages, all you needed to do was visit the website and read a little bit to know that.