The bigger argument against this stuff is that for years people have been clamoring for a simple statically typed elixir, and so when I eventually drop something with dependent session types, I'll have missed the point entirely
add a skeleton here at some point
about 2 months ago