Sign into an existing account

It has all the features other languages can only dream of.

Including:
- extensible records (doesn't exist in almost any other statically typed language)
- algebraic effects (to capture IO and other side effects by the compiler)
- type classes (like in Haskell or Scala)

Sadly I don't have time to write wrappers for the hundreds of libraries I use already with my current language of choice to consider switching to it, but looks interesting.