Since Futhark has sum types, I wonder whether we could transpile Elm syntax to Futhark. I'll have to dig into what's possible with Futhark and how well it would map...
The biggest problem would be the absence of recursion, but a recursion-free subset of Elm (with a different standard library) would be straightforward.
https://www.youtube.com/watch?v=FVP8zxpZKV8