F# is nice but seems like a fairly conventional functional language. My first reaction to some of the features of Koka (also MS) was I didn't know that was even possible.

https://koka-lang.github.io/koka/doc/book.html