In particular, the operation only affects the shape of the innermost dimension. For example, for folds we (now) have the property that:

> shape (fold f z xs) == indexTail (shape xs)