I'm looking at https://roc-lang.org Maybe once it matures, it could have the strengths of TypeScript and Haskell.