There is no code with strong arrows today, because a strong arrow must be statically typed (and nothing has a static type today). The idea, however, is that as we make Elixir itself statically typed (and the underlying Erlang functions), then we may find type checking violations in your untyped/dynamic code.
On your side, what you could do is to write patterns and guards, which is idiomatic Elixir code anyway, and this will help the VM optimize code and the future type system to find bugs.
