I was complaining recently about the lack of strong types in Elixir (which runs on the Erlang VM). I love purescript, so I would love to give this a try.
This might be a naive question, but have you looked into or used Dialyzer? It’s a tool that does type analysis and it ships with Erlang–can be used easily with Elixir. While it’s not as air-tight as a statically typed language could offer, Dialyzer can help your type-checking conscience rest a little easier.
As I said in another story, I have a strange bug with Dialyzer so I was not able to test it out yet, unfortunately.