1: ValNReducer<Required<T>[C], Head<R>, Tail<R>>;