Comment by bodhi

It already appeared, and is called Purescript. It's great, and it's about as likely to gain traction as Haskell.