Everyone should check https://github.com/purescript/purescript as more mature language. One of the source of inspiration was the Koka