It is legal to index into sequential types with any integer