It already appeared, and is called Purescript. It's great, and it's about as likely to gain traction as Haskell.
So rather unlikely?
Haskell has a JavaScript compiler as well, by the way (GHCJS).
He means it already exists and hasn't overtaken TypeScript's popularity.