I love type languages to the point Typscript is unacceptable. But Elixir/Phoenix has so many nice things to to point that an unsound static type is far inferior.