Earlier quoted context omitted.
This has sort of been my issue with Elixir. I've been doing Scala for years but I think Phoenix is really the best web story at the moment for how I want to be building web apps. And while I believe that the benefits of static typing somewhat decrease in the web arena, it's still frustrating to have to manage type relationships in my head. I'm hopeful that the incoming type system work makes me happier there, though…
Have you tried Gleam? It's a simple, strongly typed functional language running on the Erlang VM. (I also come from Scala and so far, like what I see with Gleam.)
1. A niche within a niche is a bad idea 2. If you're going niche, going further niche hardly makes a difference