>considering that Elm seems to be by far the most stable, usable and used alternative

I wonder, does Elm not having type classes is actually a feature that boosted its success, or is it just missing because of the author stubbornness ?

I think Elm did right into focusing in SPA rather than being yet another language compiling to JS.