Unification in Elixir