That would also be fine with me, if there is a "WARNING: Indexing with Integers would be faster" or something like that.
And once we are here, it would also be convenient if indexing with an empty Array (whatever its element type) would always return empty, and that minimum([]) did not error, but return empty too, etc. I guess many functions could safely return Empty when applied on Empty. But these are petty niceties that can easily be circumvented with if isempty... else... branches.
