- Elm’s type signatures use “:” instead of “::”, and likewise cons is “::” instead of “:”
- Elm uses “List” instead of “” in type signatures
…as well as being strict - it seems like Standard ML had a greater influence on Elm than Haskell. It could make more sense to embed Elm in SML.
Instead of somehow “embedding” it in Haskell, would making Elm non-strict by default be an easier option? At the very least, that saves trying to merge the syntax!
For extra motivation, read the classic Why Functional Programming Matters by John Hughes.