Looks really cool. I hope they wrap their language with a variant of python or typecript or something, as I think a lot of the former programmers would embrace this type of deployment model.
I'm just not sure they'd want to learn haskell style syntax.