Anything that is usually solved with something like typeclasses, or module functors, or inheritance can only be solved in Elm with typing lots and lots of concr

Anything that is usually solved with something like typeclasses, or module functors, or inheritance can only be solved in Elm with typing lots and lots of concrete implementations. Other things can't be solved at all, since Elm is so tightly coupled to TEA.