I can't point to any place in particular, but I know I've written code more than once that takes a few parameters for itself and feeds the rest to a user-provided callback, of some sort, much like call_out. It might not be a very uncommon case to want to type the remainder rather than always assuming the first types repeat infinitely throughout the array.