Elm from a Business Perspective 10 years ago
This typeclasses discussion reminds me a lot of complaints about Go's lack of generics. Even without this "glaring shortcoming" Go became the de facto winner in the ops space, by staying a simple language with a smaller learning surface. Elm could be walking down the same route.
Personally I find composability under The Elm Architecture more of an issue than pure language abstractions.