1: KeysNReducer<Required<T>[L], Head<R>, Tail<R>>;