Elixir's exhaustive pattern matching and gradual type checking is also on my radar.
I guess I don't know what you mean by effects typing.