As in Elixir/Erlang it would nice if they could be define separately.

    def [] in Integer => index
      # ...
    end

    def [] in Integer => start, Integer => length
      # ...
    end

    def [] in Range => range
      # ...
    end