What I really want is a language with Elm&#x27;s type system, simplicity, and syntax, but aimed for backend software instead of HTML apps and with strong support for an Erlang-style actor model of multicore, distributed concurrency. Basically something like Elixir, but with Elm&#x27;s syntax and type safety. In the meantime Elixir will do for me, but I&#x27;d really like more type safety without going full Haskell.